Mathematics Logic (1811)
-
Lattice-Gas Cellular Automata and Lattice Boltzmann Models: An Introduction
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2000Libri in Inglese | MathematicsDisponibilità in 2 settimane87,00 € -
Evolutionary Algorithms: The Role of Mutation and Recombination
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2000Libri in Inglese | MathematicsDisponibilità in 2 settimane132,50 € -
Completeness and Reduction in Algebraic Complexity Theory
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2000Libri in Inglese | MathematicsDisponibilità in 2 settimane132,60 € -
Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2014Libri in Inglese | MathematicsDisponibilità in 2 settimane136,20 € -
Automata Implementation: Third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998, Revised Papers
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1999Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,60 € -
Application and Theory of Petri Nets 1999: 20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, June 21-25, 1999 Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1999Libri in Inglese | MathematicsDisponibilità in 2 settimane67,50 € -
Typed Lambda Calculi and Applications: 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1999Libri in Inglese | MathematicsDisponibilità in 2 settimane67,70 € -
Model Theory and Algebraic Geometry: An introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1998Libri in Inglese | MathematicsDisponibilità in 2 settimane68,60 € -
David Hilbert’s Lectures on the Foundations of Geometry 1891–1902
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2004Libri in Inglese | MathematicsDisponibilità in 2 settimane192,20 € -
DNA Computing: New Computing Paradigms
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1998Libri in Inglese | MathematicsDisponibilità in 2 settimane118,60 € -
Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1997Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,00 € -
Automata Implementation: First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996, Revised Papers
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1997Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane68,70 € -
Application and Theory of Petri Nets 1997: 18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1997Libri in Inglese | MathematicsDisponibilità in 2 settimane67,30 € -
Qualitative and Quantitative Practical Reasoning: First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1997Libri in Inglese | MathematicsDisponibilità in 2 settimane134,60 € -
Logical Foundations of Computer Science: 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1997Libri in Inglese | MathematicsDisponibilità in 2 settimane67,10 € -
Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1997Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,70 € -
Algorithms and Complexity: Third Italian Conference, CIAC'97, Rome, Italy, March 12-14, 1997, Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1997Libri in Inglese | MathematicsDisponibilità in 2 settimane68,20 € -
Nonmonotonic Logics: Basic Concepts, Results, and Techniques
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1997Libri in Inglese | MathematicsDisponibilità in 2 settimane68,60 € -
The Core Model Iterability Problem
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1996Libri in Inglese | MathematicsDisponibilità in 2 settimane69,50 € -
A General Algebraic Semantics for Sentential Logics
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1996Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane69,10 € -
Automated Deduction - Cade-13: 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1996Libri in Inglese | MathematicsDisponibilità in 2 settimane220,50 € -
Application and Theory of Petri Nets 1996: 17th International Conference, Osaka, Japan, June 24-28, 1996. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1996Libri in Inglese | MathematicsDisponibilità in 2 settimane135,10 € -
Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1996Libri in Inglese | MathematicsDisponibilità in 2 settimane67,80 € -
Algebraic Complexity Theory
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1996Libri in Inglese | MathematicsDisponibilità in 2 settimane167,50 € -
Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1995Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane67,70 €
Informazioni sull’ordinamento
Vengono mostrati per primi i prodotti che rispondono a questi criteri: rilevanza rispetto alla ricerca, dati di venduto, disponibilità, data di pubblicazione, tipologia di prodotto, personalizzazione ad eccezione delle sponsorizzazioni.
