Union Catalogue of Belgian Libraries
Search
Feedback
About UniCat 
Help
News
Narrow your search
| Listing 1 - 2 of 2 |
Sort by
|
Book
Automated reasoning : introduction and applications
Loading...
Authors:
Wos, Larry
---
Overbeek, Ross A.
---
Lusk, Ewing
ISBN: 007911251X Year: 1992 Publisher: New York : McGraw-Hill,
ISBN: 007911251X Year: 1992 Publisher: New York : McGraw-Hill,
Abstract | Keywords | Export | Availability | Bookmark
Loading...
Export citation
Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bookmark
Abstract
Keywords
Book
Logic programming : proceedings of the north american conference 1989 : [held in Celveland, Ohio, USA on October 16-20, 1989]
Loading...
Authors:
Lusk, Ewing
---
Overbeek, Ross A.
---
North american conference on logic programming :
Year: 1989 Publisher: Cambridge (MA) London : MIT Press,
Year: 1989 Publisher: Cambridge (MA) London : MIT Press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...
Export citation
Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bookmark
Abstract
| Listing 1 - 2 of 2 |
Sort by
|