Your search returned 3 results.

Not what you expected? Check for suggestions
Sort
Results
Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 1320, 1993 : proceedings / Andrei Voronkov (ed.).

by LPAR (Conference) (4th : 1993 : Saint Petersburg, Russia) | Voronkov, Andrei, 1959- [edt].

Series: Serienbezeichnung | Lecture notes in computer science ; 698. | Lecture notes in computer science. Lecture notes in artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : SpringerVerlag, ©1993Other title: LPAR '93.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings / Michel Parigot, Andrei Voronkov (eds.).

by LPAR (Conference) (2000 : Réunion) | Parigot, Michel, 1956- | Voronkov, Andrei, 1959-.

Series: Serienbezeichnung | Lecture notes in computer science ; 1955. | Lecture notes in computer science. Lecture notes in artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, 2000Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Automated deduction-CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings / Andrei Voronkov, ed.

by International Conference on Automated Deduction (18th : 2002 : Copenhagen, Denmark) | Voronkov, Andrei, 1959-.

Series: Serienbezeichnung | Lecture notes in computer science ; 2392. | Lecture notes in computer science. Lecture notes in artificial intelligence.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha