[email protected]
LIBRISTO 0
Austrian Post 5.99 € DPD courier 6.49 € GLS courier 4.49 €
phone Contact phoneHow to shop

Logical Foundations of Computer Science - Tver '92

Language EnglishEnglish
Book Paperback
Book Logical Foundations of Computer Science - Tver '92 Anil Nerode
Libristo code: 05274268
Publishers Springer, Berlin, November 1991
This volume presents the papers selected for the Symposium Logic at Tver '92, held at Sokol, near Tv... Full description
? points 161 b
68.07 € včetně DPH
Low in stock at our supplier Shipping in 13-16 days
Austria Delivery to Austria

30-day return policy

You might also be interested in

Al Pacino William Schoell / Paperback
common.buy 41.74 €
Parallel Paradise Vol. 17 / Paperback
common.buy 14.12 €
Suggestology: The Love of Learning - the Biography of Dr. Georgi Losanov Mel Gill / Paperback
common.buy 18.61 €
Jinny at Finmory Patricia Leitch / Paperback
common.buy 10.16 €
Jinny at Finmory Patricia Leitch / Paperback
common.buy 7.59 €
XXXX Rated Odes To Degenerates Irving / Paperback
common.buy 12.19 €
Update 1990 Jean L. Vincent / Paperback
common.buy 68.07 €

This volume presents the papers selected for the Symposium Logic at Tver '92, held at Sokol, near Tver, Russia in July1992. It is the second in a series of international symposiaon logical foundations of computer science held in Russia. The meeting is a joint effort of scholars from both the former Soviet Union and the West, and indicates a new era of international cooperation. Sponsors of the meeting include: the Association for Computing Machinery, the Association for Symbolic Logic, and the Committee on Mathematical Foundations of Computer Science of IEEE. The book is a unique source of information on the state of computer science research in the former Soviet Union and presents important discoveries in the area of logical foundations of computer science.

About the book

Full name Logical Foundations of Computer Science - Tver '92
Author Anil Nerode, Mikhail Taitslin
Language English
Binding Book - Paperback
Date of issue 1992
Number of pages 517
EAN 9783540557074
ISBN 3540557075
Libristo code 05274268
Publishers Springer, Berlin
Weight 760
Dimensions 155 x 233 x 27

Categories

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Artificial intelligence > Machine learning
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account