Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen

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

Mein Bibliothekar

INFORMATIONEN

Prüfungszugelassene Titel

AGB

Datenschutz

Kontakt

Impressum

Über Uns

Service

Home

JURISTISCHE LITERATUR
STUDIENLITERATUR
DATENBANKEN
BEHÖRDEN
BECK ONLINE
Mein Bibliothekar
INFORMATIONEN

Zu "Erfüllbarkeitsproblem der Aussagenlogik" wurden 75 Produkte gefunden

Produkte filtern

Nur Neuerscheinungen

Spektrum Akademischer Verlag (1)
Springer Berlin (67)
Springer London (1)
Springer Netherland (2)
Springer US (4)

Gebunden (5)
Kartoniert / Broschiert (70)

Aagaard, Mark D. O'Leary, John W. (1)
Ablaev, Farid M. Mayr, Ernst W. (1)
Amadio, Roberto Lugiez, Denis (1)
Anai, Hirokazu Horimoto, Katsuhisa Kutsia, Temur (1)
Apolloni, Bruno Marinaro, Maria Nicosia, Giuseppe Tagliaferri, Roberto (1)
Armando, Alessandro (1)
Baader, Franz (1)
Beck, J. Christopher Smith, Barbara (1)
Bicarregui, Juan C. (1)
Bieliková, Maria Charon-Bost Sýkora, Ondrej Vojtás, Peter (1)
Bin, Eyal Ziv, Avi Ur, Shmuel (1)
Brinksma, Ed Larsen, Kim G. (1)
Brodal, Gerth S. Leonardi, Stefano (1)
Börger, Egon Kleine Büning, Hans Richter, Michael M. (1)
Carbone, Alessandra Pierce, Niles A. (1)
Damm, Werner Hermanns, Holger (1)
Damm, Werner Olderog, Ernst-Rüdiger (1)
Di Battista, Giuseppe Zwick, Uri (1)
Diekert, Volker Nowotka, Dirk (1)
Du, Ding-Zhu Li, Ming (1)
Du, Ding-Zhu Zhang, Xiang-Sun (1)
Eigenmann, Rudi de Supinski, Bronis R. (1)
Etessami, Kousha Rajamani, Sriram K. (1)
Fisher, Michael Sadri, Fariba Thielscher, Michael (1)
Frid, Anna Morozov, Andrei S. Rybalchenko, Andrey Wagner, Klaus W. (1)
Giunchiglia, Enrico Tacchella, Armando (1)
Godo, Lluis (1)
Grohe, Martin Niedermeier, Rolf (1)
Hartenstein, Reiner W. Grünbacher, Herbert (1)
Hoos, Holger H. Mitchell, David G. (1)
Hunt, Jr., Warren A. Somenzi, Fabio (1)
Hutter, Dieter Stephan, Werner (1)
Jansen, Klaus Rolim, Jose (1)
Kao, Ming-Yang Li, Xiang-Yang (1)
Kirchner, Claude Kirchner, Helene (1)
Kleine Büning, Hans Zhao, Xishun (1)
Konev, Boris Wolter, Frank (1)
Langmaack, Hans Roever, Willem-Paul de Vytopil, Jan (1)
Leivant, Daniel de Queiroz, Ruy (1)
Leuschel, M. (1)
Lifschitz, Vladimir Niemelä, Ilkka (1)
Lupanov, Oleg B. Kasim-Zade, Oktay M. Chaskin, Alexander V. Steinhöfel, Kathleen (1)
Lusk, Ewing Overbeek, Ross (1)
Lysaght, Patrick Irvine, James Hartenstein, Reiner (1)
Marcinkowski, Jerzy (1)
Margenstern, Maurice (1)
Mira, José Álvarez, José R. (1)
Nieuwenhuis, Robert (1)
Nikoletseas, Sotiris E. (1)
Olivetti, Nicola (1)
Perron, Laurent Trick, Michael A. (1)
Preparata, Franco P. Wu, Xiaodong Yin, Jianping (1)
Ramakrishnan, C.R. Rehof, Jakob (1)
Ruggiero, Berardo Delsing, Per Granata, Carmine Pashkin, Yuri A. Silvestrini, P. (2)
Sagiv, Mooly (1)
Salwicki, A. (1)
Staples, John Eades, Peter Katoh, Naoki Moffat, Alistair (1)
Steinhöfel, Kathleen (1)
Valmari, Antti (1)
van Beek, Peter (1)

Bubley, Russ (1)
Cadoli, Marco (1)
Clote, Peter Kranakis, Evangelos (2)
Fey, Görschwin Drechsler, Rolf (2)
Goldreich, Oded (2)
Haubelt, Christian Teich, Jürgen (1)
Manna, Zohar Pnueli, Amir (2)
Schöning, Uwe (1)
Skowron, Andrzej (1)
Thierauf, Thomas (1)

1982 (1)
1985 (1)
1988 (1)
1994 (1)
1995 (1)
1998 (1)
1999 (1)
2000 (1)
2001 (1)
2002 (1)
2003 (1)
2004 (1)
2005 (1)
2006 (1)
2007 (1)
2008 (1)
2009 (1)
2010 (1)
2011 (1)
2012 (1)

Deutsch (2)
Englisch (73)

HOME

1
2
3
4

Vorderes Coverbild Algorithms and Computations

Algorithms and Computations

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild 9th International Conference on Automated Deduction

9th International Conference on Automated Deduction

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Algorithmic Aspects in Information and Management

Algorithmic Aspects in Information and Management

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Parameterized and Exact Computation

Parameterized and Exact Computation

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild DNA Computing

DNA Computing

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Computer Aided Verification

Computer Aided Verification

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Formal Techniques in Real-Time and Fault-Tolerant Systems

Formal Techniques in Real-Time and Fault-Tolerant Systems

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Mechanizing Mathematical Reasoning

Mechanizing Mathematical Reasoning

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Principles and Practice of Constraint Programming - CP 2005

Principles and Practice of Constraint Programming - CP 2005

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Developments in Language Theory

Developments in Language Theory

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Algorithms and Computation

Algorithms and Computation

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Algorithmik

Algorithmik

49,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Quantum Computing in Solid State Systems

Quantum Computing in Solid State Systems

160,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Tractable Reasoning in Aritificial Intelligence

Tractable Reasoning in Aritificial Intelligence

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Computer Science - Theory and Applications

Computer Science - Theory and Applications

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Computational Logic in Multi-Agent Systems

Computational Logic in Multi-Agent Systems

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Automated Deduction – CADE-20

Automated Deduction – CADE-20

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Frontiers of Combining Systems

Frontiers of Combining Systems

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Automated Deduction - CADE-19

Automated Deduction - CADE-19

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Theory and Applications of Satisfiability Testing

Theory and Applications of Satisfiability Testing

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Modern Cryptography, Probabilistic Proofs and Pseudorandomness

Modern Cryptography, Probabilistic Proofs and Pseudorandomness

139,09 €*

Preise inkl. MwSt. zzgl. Versandkosten

Vorderes Coverbild Modern Cryptography, Probabilistic Proofs and Pseudorandomness

Modern Cryptography, Probabilistic Proofs and Pseudorandomness

139,09 €*

Preise inkl. MwSt. zzgl. Versandkosten

1
2
3
4

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
Mein Bibliothekar

AGB
Datenschutz
Kontakt
Impressum
Über Uns
Service

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