Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
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
Automated reasoning with analytic tableaux and related methods (e-book)

by Olivetti, Nicola.

Series: Lecture Notes in Computer Science (LNCS) ; v.4548Material type: Text 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
Pages

Powered by Koha