Showing
1 - 3
results of
3
for search '
Paulson Lawrence C.
'
Skip to content
Toggle navigation
Nantilus
La BU
0
items
(Full)
Log Out
Login
FR
|
EN
All Fields
Title
Journal Title
Author
Subject
ISBN/ISSN
Publisher
Series
Dissertation note
Author
Paulson Lawrence C.
Showing
1 - 3
results of
3
for search '
Paulson Lawrence C.
'
, query time: 0.01s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
Select Page | with selected:
Email
Export
Print
Save
Add to Book Bag
Select result number 1
1
Logic and computation : interactive proof with Cambridge LCF
by
Paulson
Lawrence
C
.
Cambridge University Press cop. 1987
Call Number:
Loading...
Located:
Loading...
Book
Loading...
Place a title level request
|
Add to Book Bag
Remove from Book Bag
|
Save to List
Saved in:
Select result number 2
2
Isabelle/HOL : a proof assistant for higher-order logic
by
Nipkow Tobias
,
Paulson
Lawrence
C
.
Springer C 2002
Call Number:
Loading...
Located:
Loading...
Book
Loading...
Place a title level request
|
Add to Book Bag
Remove from Book Bag
|
Save to List
Saved in:
Select result number 3
3
Isabelle : a generic theorem prover
by
Paulson
Lawrence
C
.
,
Nipkow Tobias
Springer-Verlag C 1994
Call Number:
Loading...
Located:
Loading...
Book
Loading...
Place a title level request
|
Add to Book Bag
Remove from Book Bag
|
Save to List
Saved in:
Select Page | with selected:
Email
Export
Print
Save
Add to Book Bag
Search Tools:
RSS Feed
–
Email Search
–
Save Search
Do you search an article ?
Check
our how-to
to find it.
Nothing found ?
Search
in other universities (SUDOC)
, ask for
an interlibrary loan
or submit
a purchase request
.
Related Subjects
théorèmes démonstration automatique
fonctions calculables informatique
logique informatique
×
Loading...