Logic Programming in Action: Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings ... / Lecture Notes in Artificial Intelligence)
by
ISBN 13: 9783540559306
Format: Paperback (324 pages) Publisher: Springer Published: 25 Aug 1992
Save for later
Automated Deduction in Classical and Non-Classical Logics: Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540671909
Format: Paperback (299 pages) Publisher: Springer Published: 09 Feb 2000
Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected ... Computer Science and General Issues)
ISBN 13: 9783540278290
Format: Paperback (406 pages) Publisher: Springer Published: 08 Jul 2005
Distribution Logistics: Advanced Solutions to Practical Problems (Lecture Notes in Economics and Mathematical Systems)
ISBN 13: 9783540221005
Format: Paperback (294 pages) Publisher: Springer Published: 25 Aug 2004
Singular Coverings of Toposes (Lecture Notes in Mathematics)
by M. Bunge,J. Funk
ISBN 13: 9783540363590
Format: Paperback (237 pages) Publisher: Springer Published: 21 Aug 2006
Computational Logic in Multi-Agent Systems: 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540280606
Format: Paperback (293 pages) Publisher: Springer Published: 20 Jul 2005
Classic Papers in Combinatorics (Modern Birkhäuser Classics)
ISBN 13: 9780817648411
Format: Paperback (499 pages) Publisher: Birkhauser Published: 23 Dec 2008
Developments in Language Theory: 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)
ISBN 13: 9783540857792
Format: Paperback (544 pages) Publisher: Springer Published: 04 Sep 2008
AI*IA 2005: Advances in Artificial Intelligence: 9th Congress of the Italian Association for Artificial Intelligence Milan, Italy, September 21-23, ... / Lecture Notes in Artificial Intelligence)
ISBN 13: 9783540290414
Format: Paperback (628 pages) Publisher: Springer Published: 12 Sep 2005
Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)
ISBN 13: 9783540876021
Format: Paperback (382 pages) Publisher: Springer Published: 08 Sep 2008
DNA Computing: 13th International Meeting on DNA Computing, DNA13, Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers: 4848 (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783540779612
Format: Paperback (303 pages) Publisher: Springer Published: 08 Feb 2008
Typed Lambda Calculi and Applications: 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings (Lecture Notes in ... Computer Science and General Issues)
ISBN 13: 9783540732273
Format: Paperback (397 pages) Publisher: Springer Published: 15 Jun 2007