Union Catalogue of Belgian Libraries
English |
Nederlands
|
Français
Search
Feedback
About UniCat
Help
News
Advanced Search
Narrow your search
Library
UCLouvain
(1)
Resource type
book
(1)
Language
English
(1)
Year
From
To
2001
(1)
Listing
1
-
1
of
1
Sort by
Relevance
Year-Descending
Year-Ascending
Book
TPHOLs 2001 : supplemental proceedings
Authors
:
Boulton, Richard J.
---
TPHOLs (2001 : Edinburgh, Scotland)
Year
: 2001
Publisher
: Edinburgh: [éditeur inconnu],
Abstract |
Keywords
|
Export
|
Availability
|
Bookmark
Loading...
Export citation
Choose an application
Reference Manager
EndNote
RefWorks
(Direct export to RefWorks)
Bookmark
Abstract
Keywords
Automatic theorem proving
Listing
1
-
1
of
1
Sort by
Relevance
Year-Descending
Year-Ascending