Refine your search

You are not logged in Show Basket
  Home     Advanced Search     Back  
Catalogue Search Results

You searched: |  Subject = Automatic theorem proving,  | 
Results: 2 found in 0.005 seconds

 
▼Title ▲
▼Author▲
 Publisher Edition
▼Shelf▲
 At
0
Mechanical geometry theorem proving /
ISBN: 9027726507 		D. Reidel Pub. Co. ; c1988. QA76.9.A96 C48 1988 NEU Grand Library[General Collection]
Available
0
Automated reasoning with Otter /
ISBN: 1589490045 		Rinton Press, 2001. QA76.9.A96 K35 2001 NEU Grand Library[General Collection] (2)
Available
Quick search
Term:
Full phrase Any word

Results 1 - 10 of 2 records.
New search | Back to the last search

UNIVERSITY OF KYRENIA LIBRARY +90 (392) 680 20 28. Near East Boulevard, Kyrenia, TRNC
This software is developed by NEU Library and it is based on Koha OSS
conforms to MARC21 library data transfer rules.