Your search returned 4 results.

Results
		Automated reasoning with analytic tableaux and related methods : 16th international conference proceedings, TABLEAUX, Aix en Provence, France, July 3-6, 2007 by \| Olivetti, Nicola \| Olivetti, Nicola. Series: Lecture notes in artificial intelligencce ; v.4548 , Lecture notes in computer scienceEdition: Language: English Publication details: Berlin ; Springer ; 2007Availability: Items available for loan: 1 Call number: 681.342:517.1Aut:16:07. Place hold Add to cart (remove)
		No cover image available Von der mechanik zur elektronik by Olivetti \| . Series: Edition: Language: German Publication details: ; Olivetti Gmbur ; 1984Availability: Not available: Checked out (1). Place hold Add to cart (remove)
		Automated reasoning with analytic tableaux and related methods (e-book) by Olivetti, Nicola. Series: Lecture Notes in Computer Science (LNCS) ; v.4548Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2007Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)

Refine your search