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