Your search returned 6 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 1320, 1993 : proceedings / Andrei Voronkov (ed.). by Series: 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, ©1993
Other title:
  • LPAR '93
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
3.
Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 : proceedings / Dines Bjørner, Mandred Broy, Igor V. Pottosin, eds. by Series: Lecture notes in computer science ; 735.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : SpringerVerlag, ©1993
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
4.
5.
Active visual inference of surface shape / Roberto Cipolla. by Series: Lecture notes in computer science ; 1016.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; New York : SpringerVerlag, ©1996
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
6.
Efficient checking of polynomials and proofs and the hardness of approximation problems / Madhu Sudan. by Series: Lecture notes in computer science ; 1001.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; New York : SpringerVerlag, [1995]Copyright date: ©1995
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha