Ergebnisse filtern
-
- 98
-
- 3
- 87
- 1
- 7
-
- 3
- 83
- 12
-
- 98
-
- 98
-
- 98
-
Dybjer / Smith / Nordström Types for Proofs and Programs
International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-60579-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Voronkov Logic Programming and Automated Reasoning
International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55727-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Toueg / Kirousis / Spirakis Distributed Algorithms
5th International Workshop, WDAG 91, Delphi, Greece, October 7-9, 1991. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55236-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Melichar / Alblas Attribute Grammars, Applications and Systems
International Summer School SAGA, Prague, Czechoslovakia, June 4-13, 1991. Proceedings1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54572-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ribeiro / Sekerinski Formal Methods Teaching
6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-71378-1Medium: Buch40,65 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Paulson Isabelle
A Generic Theorem Prover1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58244-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Heering / Nipkow / Meinke Higher-Order Algebra, Logic, and Term Rewriting
First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58233-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nipkow Rewriting Techniques and Applications
9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-64301-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hindley / Groote Typed Lambda Calculi and Applications
Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-62688-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Coquand / Smith / Dybjer Types for Proofs and Programs
International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers2000Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41517-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kapur Automated Deduction - CADE-11
11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings1992Verlag: Springer Berlin HeidelbergISBN: 978-3-540-55602-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gomes / Biere Theory and Applications of Satisfiability Testing - SAT 2006
9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings2006Verlag: Springer Berlin HeidelbergISBN: 978-3-540-37206-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ohlbach / Gabbay Practical Reasoning
International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June (3-7), 1996. Proceedings.1996Verlag: Springer Berlin HeidelbergISBN: 978-3-540-61313-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Jantke / Yokomori / Kobayashi Algorithmic Learning Theory
4th International Workshop, ALT '93, Tokyo, Japan, November 8-10, 1993. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57370-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Abramsky Typed Lambda Calculi and Applications
5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings2001Verlag: Springer Berlin HeidelbergISBN: 978-3-540-41960-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Girard Typed Lambda Calculi and Applications
4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings1999Verlag: Springer Berlin HeidelbergISBN: 978-3-540-65763-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Marques-Silva / Sakallah Theory and Applications of Satisfiability Testing - SAT 2007
10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-72787-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Plotkin / Dezani-Ciancaglini Typed Lambda Calculi and Applications
Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-59048-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Main / Schmidt / Melton Mathematical Foundations of Programming Language Semantics
3rd Workshop Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 Proceedings1988Verlag: Springer Berlin HeidelbergISBN: 978-3-540-19020-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Doshita / Nishida / Furukawa Algorithmic Learning Theory - ALT '92
Third Workshop, ALT '92, Tokyo, Japan, October 20-22, 1992. Proceedings1993Verlag: Springer Berlin HeidelbergISBN: 978-3-540-57369-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pfenning Logic Programming and Automated Reasoning
5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings1994Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58216-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Walsh / Bacchus Theory and Applications of Satisfiability Testing
8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-26276-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cimiano / Stein / Frank Robust Argumentation Machines
First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-63535-9Medium: Buch139,09 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Williams Instantiation Theory
On the Foundations of Automated Deduction1991Verlag: Springer Berlin HeidelbergISBN: 978-3-540-54333-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Andersson Analysis of Dynamical and Cognitive Systems
Advanced Course, Stockholm, Sweden, August 9 - 14, 1993. Proceedings1995Verlag: Springer Berlin HeidelbergISBN: 978-3-540-58843-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort