Sofsem 2001
Leszek Pacholski, Peter Ruzicka
₹5,616
Computer Science Logic
8th Workshop
by Leszek Pacholski, Jerzy Tiuryn
Springer · 1995 · Paperback
₹4,130
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Published by Springer in 1995, Computer Science Logic: 8th Workshop by Leszek Pacholski & Jerzy Tiuryn runs to 543 pages in paperback. The book is part of the Lecture notes in computer science series.
Its main subjects are Computer science, Congresses, Symbolic and mathematical Logic and Mathematical logic.
Book details
- ISBN-13
- 9783540600176
- ISBN-10
- 3540600175
- Authors
- Leszek Pacholski, Jerzy Tiuryn
- Publisher
- Springer
- Published
- 1995
- Series
- Lecture notes in computer science
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 543
- Language
- English
- Condition
- New
More by Leszek Pacholski and related titles
Logic Programming and Automated Reasoning
Frank Pfenning
₹5,554
Advances in Cryptology - Crypto 2001
Joe Kilian
₹5,488
Modeling and Verification of Parallel Processes
Franck Cassez, Claude Jard, Brigitte Rozoy
₹4,205
Numerical Recipes Routines and Examples in Basic
Julien C. Sprott, Recipes Soft Numerical Recipes Software
₹5,186
Automatic Verification Methods for Finite State Systems
Joseph Sifakis
₹5,573
Foundations of Software Science and Computation Structures
France) FOSSACS 2002 (2002 : Grenoble, France) Etaps 200 (2002 Grenoble
₹3,955
Solitons
G. Eilenberger
₹7,745
Computational Geometry - Methods, Algorithms and Applications
Hanspeter Bieri, Hartmut Noltemeier
₹5,606
Programming Languages
Herbert Kuchen, S. Doaitse Swierstra
₹5,624
The Essence of Computation
Torben Æ. Mogensen, David Schmidt, I. Hal Sudborough
₹5,634
Local Search for Planning and Scheduling
Alexander Nareyek
₹5,464