Um unseren Shop in vollem Umfang nutzen zu können, empfehlen wir Ihnen Javascript in Ihrem Browser zu aktivieren.

Haben Sie Fragen? Einfach anrufen, wir helfen gerne: Tel. 089/210233-0

oder besuchen Sie unser Ladengeschäft in der Pacellistraße 5 (Maxburg) 80333 München

+++ Versandkostenfreie Lieferung innerhalb Deutschlands

Haben Sie Fragen? Tel. 089/210233-0

Ihr Konto

Anmelden

oder registrieren

Übersicht Persönliches Profil Adressen Zahlungsarten Bestellungen Kreditkarten

JURISTISCHE LITERATUR

STUDIENLITERATUR

INFORMATIONEN

Zur Kategorie STUDIENLITERATUR

Wichtige Studienliteratur

Prüfungszugelassene Titel

AGB

Datenschutz

Kontakt

Impressum

Über Uns

Service

Home

JURISTISCHE LITERATUR
STUDIENLITERATUR
DATENBANKEN
BEHÖRDEN
BECK ONLINE
INFORMATIONEN

Zu "automated deduction" wurden 104 Produkte gefunden

Filter

Nur Neuerscheinungen

Birkhäuser Boston (1)
Physica (2)
Springer Berlin (75)
Springer International Publishing (6)
Springer Netherland (13)
Springer US (6)
Springer Wien (1)

Gebunden (10)
Kartoniert / Broschiert (93)
Kassette / Medienmix z.B. Audio und Buch (1)

Alur, Rajeev Peled, Doron A. (1)
Antoniou, Grigoris Slaney, John (1)
Arikawa, Setsuo Motoda, Hiroshi (1)
Artemov, Sergei Nerode, Anil (2)
Baader, F. Schulz, K.U. (1)
Baader, Franz (2)
Basin, David Rusinowitch, Michael (1)
Bauer, Friedrich L. Brauer, Wilfried Schwichtenberg, Helmut (2)
Bibel, Wolfgang Jorrand, Philippe (1)
Bibel, Wolfgang Kowalski, R. (1)
Bibel, Wolfgang Schmitt, P.H. (2)
Botana, Francisco Recio, Tomas (1)
Brinksma, Ed Larsen, Kim G. (1)
Buchberger, Bruno Campbell, John A. (1)
Bundy, Alan (1)
Caferra, Ricardo Salzer, Gernot (1)
Calmet, Jaques Campbell, John A. Pfalzgraf, Jochen (1)
Carreno, Victor A. Munoz, Cesar A. Tahar, Sofiene (1)
Chang, Bor-Yuh Evan (1)
Cialdea Mayer, Marta Pirri, Fiora (1)
Clarke, Edmund M. Voronkov, Andrei (1)
Clote, Peter G. Schwichtenberg, Helmut (1)
Comon, Hubert (1)
Comon, Hubert Jouannaud, Jean-Pierre (1)
Costa, Ernesto Cardoso, Amilcar (1)
Damm, Werner Hermanns, Holger (1)
Dershowitz, Nachum (2)
Dutle, Aaron Humphrey, Laura Titolo, Laura (1)
Etessami, Kousha Rajamani, Sriram K. (1)
Fitting, Melvin Orlowska, Ewa (2)
Foo, Norman Goebel, Randy (1)
Furbach, Ulrich Shankar, Natarajan (1)
Ganzinger, Harald (2)
Gao, Xiao-lu Wang, Dongming Yang, Lu (1)
Giese, Martin Waaler, Arild (1)
Giesl, Jürgen (1)
Giesl, Jürgen Hähnle, Reiner (1)
Giunchiglia, Enrico Walsh, Toby (2)
Gramlich, Bernhard (1)
Hagiya, Masami Mitchell, John C. (1)
Hong, Hoon Wang, Dongming (1)
Hsiang, Jieh Ohori, Atsushi (1)
Hu, Alan J. Vardi, Moshe Y. (1)
Hunt, Jr., Warren A. Somenzi, Fabio (1)
Hutter, Dieter Stephan, Werner (1)
Hölldobler, Steffen (2)
Jorrand, Philippe Kelemen, Jozef (1)
Kapur, Deepak (1)
Kerber, Manfred Carette, Jacques Kaliszyk, Cezary Rabe, Florian Sorge, Volker (1)
Kirchner, Claude Kirchner, Helene (1)
Kohlhase, Andrea Kovács, Laura (1)
Konev, Boris Wolter, Frank (1)
Leake, David B. Plaza, Enric (1)
Lloyd, John Dahl, Veronica Furbach, Ulrich Kerber, Manfred Lau, Kung-Kiu Palamidessi, Catuscia Pereira, Luis M. Sagiv, Yehoshua Stuckey, Peter J. (1)
Lusk, Ewing Overbeek, Ross (1)
McAllester, David (1)
McCune, William (1)
McRobbie, Michael A. Slaney, J.K. (1)
Middeldorp, Aart (1)
Nieuwenhuis, Robert (2)
Nossum, Rolf T. (1)
Olivetti, Nicola (1)
Oostrom, Vincent van (1)
Pfenning, Frank (1)
Pichardie, David Sighireanu, Mihaela (1)
Podelski, Andreas (1)
Ramanayake, Revantha Urban, Josef (1)
Richter-Gebert, Jürgen Wang, Dongming (1)
Rusinowitch, Michael Remy, Jean-Luc (1)
Schmidt, Renate (1)
Shostak, R. E. (1)
Siekmann, Jörg H. (1)
Slind, Konrad Bunker, Annette Gopalakrishnan, Ganesh C. (1)
Stickel, Mark E. (1)
Sutcliffe, Geoff Voronkov, Andrei (1)
Tison, Sophie (1)
Voronkov, Andrei (1)
Wang, Dongming (1)
Wansing, Heinrich (2)
Winkler, Franz (1)
Wooldridge, Michael J. Veloso, Manuela (1)

Bibel, Wolfgang Biermann, A.W. Delgrande, J.P. Huet, G. Jorrand, Philippe Mylopoulos, J. Shapiro, E. Stickel, M.E. (1)
Caferra, Ricardo Leitsch, Alexander Peltier, Nicolas (2)
Cantone, Domenico Omodeo, Eugenio Policriti, Alberto (2)
Gabbay, Dov M. Olivetti, N. (2)
Schöning, Uwe (1)
Singh, Narinder (2)
Socher-Ambrosius, Rolf Johann, Patricia (1)
Williams, James G. (1)

Englisch (104)

HOME

1
2
3
4
5

Automated Deduction in Geometry

Automated Deduction in Geometry

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

SAT 2005

SAT 2005

160,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Automated Deduction - CADE-21

Automated Deduction - CADE-21

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

213,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Automated Deduction - CADE-18

Automated Deduction - CADE-18

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Theoretical Aspects of Computer Software

Theoretical Aspects of Computer Software

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

7th International Conference on Automated Deduction

7th International Conference on Automated Deduction

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

9th International Conference on Automated Deduction

9th International Conference on Automated Deduction

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Rewriting Techniques and Applications

Rewriting Techniques and Applications

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Constraint Programming: Basics and Trends

Constraint Programming: Basics and Trends

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Instantiation Theory

Instantiation Theory

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Computer Aided Verification

Computer Aided Verification

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Case-Based Reasoning Research and Development

Case-Based Reasoning Research and Development

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Intellectics and Computational Logic

Intellectics and Computational Logic

160,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Proof Theory of Modal Logic

Proof Theory of Modal Logic

160,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Rewriting Techniques and Applications

Rewriting Techniques and Applications

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Logic and Algebra of Specification

Logic and Algebra of Specification

160,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Automated Deduction - CADE-17

Automated Deduction - CADE-17

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Computer Aided Verification

Computer Aided Verification

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

10th International Conference on Automated Deduction

10th International Conference on Automated Deduction

149,79 €*

Preise inkl. MwSt. zzgl. Versandkosten

Mechanizing Mathematical Reasoning

Mechanizing Mathematical Reasoning

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Logical Foundations of Computer Science

Logical Foundations of Computer Science

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Advanced Topics in Artificial Intelligence

Advanced Topics in Artificial Intelligence

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

1
2
3
4
5

Buchhandlung Georg Blendl GmbH & Co KG
Buchhandlung und Antiquariat für Rechts- und Staatswissenschaften
Pacellistraße 5 (Maxburg)
80333 München
+049 89 210 233-0
+049 89 210 233-44
info@BGB-Online.de
ww.BGB-Online.de

Öffnungszeiten:
Montag bis Freitag
8:15 bis 18:00 Uhr

Samstag geschlossen

Online 24/7

JURISTISCHE LITERATUR
STUDIENLITERATUR
DATENBANKEN
BEHÖRDEN
BECK ONLINE

AGB
Datenschutz
Kontakt
Impressum
Über Uns
Service

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...