Your search returned 3 results from 132353 records.

1.

Amazon cover image

Image from Amazon.com

Logic at Botik '89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings / Albert R. Meyer and Michael A. Taitslin by

Series: Lecture notes in computer science ; v. 363

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer-Verlag, 1992

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA75.5 B67 1989.

2.

Logical foundations of computer science : Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings / A. Nerode and Yu. V. Matiyasevich (Eds.) by

Series: Lecture notes in computer science ; no. 813

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer-Verlag, 1994

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA75.5 I58 1994.

3.

Amazon cover image

Image from Amazon.com

Logical foundations of computer science - Tver '92 : Second International Symposium, Tver, Russia, July 20-24, 1992 : proceedings / A. Nerode and M. Taitslin (Eds.) by

Series: Lecture notes in computer science ; no. 620

Material type:

Text; Literary form: Not fiction

Publication details: Berlin : Springer-Verlag, 1992

Availability: Items available for loan: Asian Institute of Technology Library (1)Call number: QA75.5 I58 1992.

Not finding what you're looking for?

Make a purchase suggestion

คัดลอกแล้ว!