Filter By
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Logic, Rationality, and Interaction: Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings by Hans van Ditmarsch 9783642241291
Booksplease Price: £46.58Sorry no description is available for this book at this time. -
Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics by Andre Platzer 9783642145087
Booksplease Price: £90.86Sorry no description is available for this book at this time. -
Teaching Formal Methods: Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings by Jeremy Gibbons 9783642049118
Booksplease Price: £46.28Sorry no description is available for this book at this time. -
Computational Logic in Multi-Agent Systems: 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers by Michael Fisher 9783642027338
Booksplease Price: £46.28Sorry no description is available for this book at this time. -
Term Rewriting: French Spring School of Theoretical Computer Science, Font Romeux, France, 17 - 21, 1993. Advanced Course by Hubert Comon 9783540593409
Booksplease Price: £46.28Sorry no description is available for this book at this time. -
Logic, Language and Computation: Festschrift in Honor of Satoru Takasu by Neil Jones 9783540579359
Booksplease Price: £46.28Sorry no description is available for this book at this time. -
Many-Valued Logics 1: Theoretical Foundations by Leonard Bolc 9783540559269
Booksplease Price: £90.86Sorry no description is available for this book at this time. -
Mathematical Logic and Applications: Proceedings of the Logic Meeting held in Kyoto, 1987 by Juichi Shinoda 9783540515272
Booksplease Price: £42.34Sorry no description is available for this book at this time. -
Formal Properties of Finite Automata and Applications: LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988. Proceedings by Jean-Eric Pin 9783540516316
Booksplease Price: £46.28Sorry no description is available for this book at this time. -
Soft Computing: Integrating Evolutionary, Neural, and Fuzzy Systems by Andrea Tettamanzi 9783540422044
Booksplease Price: £46.58Sorry no description is available for this book at this time. -
Computer Science Logic: 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Goedel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings by Johann A. Makowsky 9783540408017
Booksplease Price: £90.86Sorry no description is available for this book at this time. -
Developments in Language Theory: 6th International Conference, DLT 2002, Kyoto, Japan, September 18-21, 2002, Revised Papers by Masami Ito 9783540404316
Booksplease Price: £46.58Sorry no description is available for this book at this time. -
Concept Lattices: Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004, Proceedings by Peter W. Eklund 9783540210436
Booksplease Price: £46.58Sorry no description is available for this book at this time. -
DNA Computing: 9th International Workshop on DNA Based Computers, DNA9, Madison, WI, USA, June 1-3, 2003, revised Papers by Junghuei Chen 9783540209300
Booksplease Price: £46.28Sorry no description is available for this book at this time. -
Notations for Software Design by L. M. G. Feijs 9783540199021
Booksplease Price: £46.58Sorry no description is available for this book at this time. -
Automata Networks: LITP Spring School on Theoretical Computer Science, Argeles-Village, France, May 12-16, 1986. Proceedings by Christian Choffrut 9783540194446
Booksplease Price: £46.28Sorry no description is available for this book at this time. -
9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988. Proceedings by Ewing Lusk 9783540193432
Booksplease Price: £92.96Sorry no description is available for this book at this time. -
Conditional Term Rewriting Systems: 1st International Workshop Orsay, France, July 8-10, 1987. Proceedings by Stephane Kaplan 9783540192428
Booksplease Price: £46.28Sorry no description is available for this book at this time. -
Rewriting Techniques and Applications: Bordeaux, France, May 25-27, 1987. Proceedings by Pierre Lescanne 9783540172208
Booksplease Price: £33.79Sorry no description is available for this book at this time. -
Confluent String Rewriting by Matthias Jantzen 9783540137153
Booksplease Price: £46.58Sorry no description is available for this book at this time. -
Recursion on the Countable Functionals by Dag Normann 9783540100195
Booksplease Price: £24.93Sorry no description is available for this book at this time. -
Infinitary Logic: In Memoriam Carol Karp by D. W. Kueker 9783540074199
Booksplease Price: £42.64Sorry no description is available for this book at this time. -
Proof Theory and Intuitionistic Systems by Bruno Scarpellini 9783540055419
Booksplease Price: £37.72Sorry no description is available for this book at this time. -
The Syntax and Semantics of Infinitary Languages by Jon Barwise 9783540042426
Booksplease Price: £42.34Sorry no description is available for this book at this time. -
Proceedings of the Summer School in Logik, Leeds, 1967: N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic by Martin. H Lob 9783540042402
Booksplease Price: £38.22Sorry no description is available for this book at this time. -
Automated Theorem Proving by Wolfgang Bibel 9783528185206
Booksplease Price: £75.80Sorry no description is available for this book at this time. -
Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings by Didier Galmiche 9783319942049
Booksplease Price: £46.28Sorry no description is available for this book at this time. -
Advances in Proof Theory by Reinhard Kahle 9783319805139
Booksplease Price: £90.86Sorry no description is available for this book at this time. -
Theory and Applications of Models of Computation: 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings by T. V. Gopal 9783319559100
Booksplease Price: £47.08Sorry no description is available for this book at this time. -
Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings by Jasmin Christian Blanchette 9783319431437
Booksplease Price: £46.58Sorry no description is available for this book at this time. -
Inductive Logic Programming: 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers by Jesse Davis 9783319237077
Booksplease Price: £39.99Sorry no description is available for this book at this time. -
Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings by Christian Urban 9783319221014
Booksplease Price: £46.58Sorry no description is available for this book at this time. -
Principles and Practice of Constraint Programming: 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014, Proceedings by Barry O'Sullivan 9783319104270
Booksplease Price: £91.36Sorry no description is available for this book at this time. -
The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland by Roman Murawski 9783034808309
Booksplease Price: £46.28Sorry no description is available for this book at this time. -
Towards a General Theory of Classifications by Daniel Parrochia 9783034806084
Booksplease Price: £90.56Sorry no description is available for this book at this time. -
V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics by Alex Citkin 9783031068423
RRP: £119.99Booksplease Price: £112.12Sorry no description is available for this book at this time. -
Relational and Algebraic Methods in Computer Science: 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings by Uli Fahrenberg 9783030887001
Booksplease Price: £65.96Sorry no description is available for this book at this time. -
Axiomatic Thinking II by Fernando Ferreira 9783030778019
Booksplease Price: £90.56Sorry no description is available for this book at this time. -
Description Logic, Theory Combination, and All That: Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday by Carsten Lutz 9783030221010
Booksplease Price: £47.08Sorry no description is available for this book at this time. -
Molecular Logic and Computational Synthetic Biology: First International Symposium, MLCSB 2018, Santiago, Chile, December 17-18, 2018, Revised Selected Papers by Madalena Chaves 9783030194314
Booksplease Price: £46.28Sorry no description is available for this book at this time.