Mathematics Logic (2089)
-
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 € -
Tractable Reasoning in Aritificial Intelligence
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1995Libri in Inglese | MathematicsDisponibilità in 2 settimane68,30 € -
Application and Theory of Petri Nets 1995: 16th International Conference, Torino, Italy, June 26 - 30, 1995. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1995Libri in Inglese | MathematicsDisponibilità in 2 settimane67,00 € -
Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1995Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane135,10 € -
Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1995Libri in Inglese | MathematicsDisponibilità in 2 settimane67,60 € -
Prolog: The Standard: Reference Manual
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1996Libri in Inglese | Science, Computer & TechnologyDisponibilità in 2 settimane136,90 € -
A Mathematical Theory of Hints: An Approach to the Dempster-Shafer Theory of Evidence
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1995Libri in Inglese | MathematicsDisponibilità in 2 settimane173,50 € -
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1995Libri in Inglese | MathematicsDisponibilità in 2 settimane67,00 € -
Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1995Libri in Inglese | MathematicsDisponibilità in 2 settimane69,00 € -
Nearly Projective Boolean Algebras
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1994Libri in Inglese | MathematicsDisponibilità in 2 settimane87,40 € -
Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1994Libri in Inglese | MathematicsDisponibilità in 2 settimane67,20 € -
Constraints in Computational Logics: First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1994Libri in Inglese | MathematicsDisponibilità in 2 settimane67,80 € -
Fuzzy Logic and Fuzzy Control: IJCAI '91 Workshops on Fuzzy Logic and Fuzzy Control, Sydney, Australia, August 24, 1991. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1994Libri in Inglese | MathematicsDisponibilità in 2 settimane87,70 € -
Application and Theory of Petri Nets 1994: 15th International Conference, Zaragoza, Spain, June 20-24, 1994. Proceedings
Venditore: FeltrinelliSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1994Libri in Inglese | MathematicsDisponibilità in 2 settimane66,60 €
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.
