Ergebnisse filtern
Programmierung | Softwareentwicklung
-
Barringer / Fisher / Gabbay Advances in Temporal Logic
1. Auflage 1999Verlag: SpringerISBN: 978-0-7923-6149-7Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Barringer / Fisher / Gabbay Advances in Temporal Logic
1. Auflage. Softcover version of original hardcover Auflage 2000Verlag: SpringerISBN: 978-90-481-5389-3Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Morscher / Hieke New Essays in Free Logic
In Honour of Karel Lambert1. Auflage. Softcover version of original hardcover Auflage 2002Verlag: SpringerISBN: 978-90-481-5915-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Morscher / Hieke New Essays in Free Logic
In Honour of Karel Lambert1. Auflage 2001Verlag: SpringerISBN: 978-1-4020-0216-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Pym The Semantics and Proof Theory of the Logic of Bunched Implications
1. Auflage. Softcover version of original hardcover Auflage 2002Verlag: SpringerISBN: 978-90-481-6072-3Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Pym The Semantics and Proof Theory of the Logic of Bunched Implications
1. Auflage 2002Verlag: SpringerISBN: 978-1-4020-0745-3Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bibel / Schmitt Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
1. Auflage. Softcover version of original hardcover Auflage 1998Verlag: SpringerISBN: 978-90-481-5052-6Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Baader / Schulz Frontiers of Combining Systems
First International Workshop, Munich, March 1996Erscheinungsjahr 2014Verlag: SpringerISBN: 978-94-010-6643-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Thielscher Reasoning Robots
The Art and Science of Programming Robotic Agents1. Auflage. Softcover version of original hardcover Auflage 2005Verlag: SpringerISBN: 978-90-481-6783-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Gabbay / Olivetti Goal-Directed Proof Theory
2000. Auflage 2000Verlag: SpringerISBN: 978-0-7923-6473-3Medium: Buch105,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Gabbay / Olivetti Goal-Directed Proof Theory
1. Auflage. Softcover version of original hardcover Auflage 2000Verlag: SpringerISBN: 978-90-481-5526-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Baader / Schulz Frontiers of Combining Systems
First International Workshop, Munich, March 19961996. Auflage 1996Verlag: SpringerISBN: 978-0-7923-4271-7Medium: Buch96,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bibel / Schmitt Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
1. Auflage. Softcover version of original hardcover Auflage 1998Verlag: SpringerISBN: 978-90-481-5051-9Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Thielscher Reasoning Robots
The Art and Science of Programming Robotic Agents2005. Auflage 2005Verlag: SpringerISBN: 978-1-4020-3068-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bibel / Schmitt Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
1. Auflage. Softcover version of original hardcover Auflage 1998Verlag: SpringerISBN: 978-90-481-5050-2Medium: Buch211,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bibel / Schmitt Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
1. Auflage 1998Verlag: SpringerISBN: 978-0-7923-5130-6Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bibel / Schmitt Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
1. Auflage 1998Verlag: SpringerISBN: 978-0-7923-5129-0Medium: Buch213,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Flach / Hadjiantonis Abduction and Induction
Essays on their Relation and Integration1. Auflage. Softcover version of original hardcover Auflage 2000Verlag: SpringerISBN: 978-90-481-5433-3Medium: Buch160,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
