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

Wichtige Studienliteratur

Prüfungszugelassene Titel

AGB

Datenschutz

Kontakt

Impressum

Über Uns

Service

Home

JURISTISCHE LITERATUR
STUDIENLITERATUR
DATENBANKEN
BEHÖRDEN
BECK ONLINE
INFORMATIONEN

Zu "automated reasoning" wurden 142 Produkte gefunden

Filter

Nur Neuerscheinungen

BoD – Books on Demand (1)
Springer Basel (2)
Springer Berlin (89)
Springer International Publishing (29)
Springer Netherland (9)
Springer US (12)

Gebunden (13)
Kartoniert / Broschiert (129)

Alferes, Jose Julio Moniz Pereira, Luis Orlowska, Eva (1)
Armando, Alessandro Baumgartner, Peter Dowek, Gilles (1)
Aroyo, Lora Antoniou, Grigoris Hyvönen, Eero ten Teije, Annette Stuckenschmidt, Heiner Cabral, Liliana Tudorache, Tania (2)
Aroyo, Lora Traverso, Paolo Ciravegna, Fabio Cimiano, Philipp Heath, Tom Hyvönen, Eero Mizoguchi, Riichiro Oren, Eyal Sabou, Marta Simperl, Elena (1)
Avigad, Jeremy Mahboubi, Assia (1)
Baader, Franz (1)
Baader, Franz Voronkov, Andrei (1)
Badger, Julia M. Rozier, Kristin Yvonne (1)
Basin, David Rusinowitch, Michael (1)
Bassiliades, Nick Gottlob, Georg Sadri, Fariba Paschke, Adrian Roman, Dumitru (1)
Beckert, Bernhard (1)
Bibel, Wolfgang Jorrand, Philippe (1)
Bibel, Wolfgang Schmitt, P.H. (4)
Biundo, Susanne Frühwirth, Thom Palm, Günther (1)
Bobaru, Mihaela Havelund, Klaus Holzmann, Gerard Joshi, Rajeev (1)
Botana, Francisco Quaresma, Pedro (1)
Bouajjani, Ahmed Monniaux, David (1)
Boyer, Robert Stephen (1)
Brown, Donald E. White III, Chelsea C. (2)
Buchberger, Bruno Affenzeller, Michael Ferscha, Alois Haller, Michael Jebelean, Tudor Klement, Erich Peter Paule, Peter Pomberger, Gustav Schreiner, Wolfgang Stubenrauch, Robert Wagner, Roland Weiß, Gerhard Windsteiger, Wolfgang (2)
Buchberger, Bruno Campbell, John A. (1)
Bundy, Alan (1)
Calmet, Jacques Benhamou, Belaid Caprotti, Olga Henocque, Laurent Sorge, Volker (1)
Cao, Longbing (2)
Carette, Jacques Dixon, Lucas Sacerdoti Coen, Claudio Watt, Stephen (1)
Cerrito, Serenella Popescu, Andrei (1)
Cervesato, Iliano Veith, Helmut Voronkov, Andrei (1)
Cesar, Pablo Chorianopoulos, Konstantinos Jensen, Jens F. (1)
Cialdea Mayer, Marta Pirri, Fiora (1)
Ciancarini, Paolo Poggi, Francesco Horridge, Matthew Zhao, Jun Groza, Tudor Suarez-Figueroa, Mari Carmen d'Aquin, Mathieu Presutti, Valentina (1)
Cimatti, Alessandro Sebastiani, Roberto (1)
Clarke, Edmund M. Voronkov, Andrei (1)
Costa, Ernesto Cardoso, Amilcar (1)
Davenport, James H. Farmer, William M. Rabe, Florian Urban, Josef (1)
Davis, Martin Fehnker, Ansgar McIver, Annabelle Voronkov, Andrei (1)
Degano, Pierpaolo Viganò, Luca (1)
Dershowitz, Nachum (1)
Dershowitz, Nachum Voronkov, Andrei (1)
Dyckhoff, Roy (1)
Esposito, Floriana (1)
Fermé, Eduardo Leite, Joao (1)
Fermüller, Christian G. Voronkov, Andrei (1)
Ferrando, Angelo Cardoso, Rafael C. (1)
Ferretti, Claudio Mauri, Giancarlo Zandron, Claudio (1)
Filgueiras, Michel Damas, Luis M.M. (1)
Fisher, Michael van der Hoek, Wiebe Konev, Boris Lisitsa, Alexei (1)
Franconi, Enrico Kifer, Michael May, Wolfgang (1)
Froidevaux, Christine Kohlas, Juerg (1)
Furbach, Ulrich Shankar, Natarajan (1)
Galmiche, Didier (1)
Ganzinger, Harald McAllester, David Voronkov, Andrei (1)
Gerdt, Vladimir P. Koepf, Wolfram Seiler, Werner M. Vorozhtsov, Evgenii V. (3)
Geuvers, Herman England, Matthew Hasan, Osman Rabe, Florian Teschke, Olaf (1)
Giese, Martin Waaler, Arild (1)
Giesl, Jürgen Hähnle, Reiner (1)
Giunchiglia, Fausto (1)
Gore, Rajeev Leitsch, Alexander Nipkow, Tobias (1)
Gori, Marco Soda, Giovanni (1)
Gurfinkel, Arie Seshia, Sanjit A. (1)
Hermann, Miki Voronkov, Andrei (1)
Herzig, Andreas Popescu, Andrei (1)
Hommersom, Arjen Lucas, Peter J.F. (1)
Hunter, Anthony Parsons, Simon D. (1)
Hutter, Dieter Stephan, Werner (1)
Kakas, A.C. Sadri, F. (1)
Kakas, Antonis C. Sadri, Fariba (1)
Kapur, Deepak (1)
Kaufmann, Matt Manolios, Panagiotis Moore, J Strother (2)
Kirrane, Sabrina Šimkus, Mantas Soylu, Ahmet Roman, Dumitru (1)
Kohlhase, Michael Johansson, Moa Miller, Bruce de Moura, Leonardo Tompa, Frank (1)
Konev, Boris Reger, Giles (1)
Kosmatov, Nikolai Kovács, Laura (1)
Lamma, Evelina Mello, Paolo (1)
Lauer, Peter E. (1)
Lenzerini, Maurizio (1)
Liu, Peng Jajodia, Sushil Wang, Cliff (1)
MacNish, Craig Pearce, David Pereira, Luis M. (1)
McCune, William (1)
McRobbie, Michael A. Slaney, J.K. (1)
Mertsching, Bärbel Hund, Marcus Aziz, Zaheer (1)
Meyer, John-Jules Broersen, Jan M. (1)
Miglioli, Pierangelo Moscato, Ugo Mundici, Daniele Ornaghi, Mario (1)
Miguel, Ian Tuml, Wheeler (1)
Miola, Alfonso (1)
Moonis, Ali Chung, Paul Hinde, Chris (1)
Moortgat, Michael (1)
Moreno-Díaz, Roberto Pichler, Franz Quesada Arencibia, Alexis (1)
Mouhoub, Malek Langlais, Philippe (1)
Mouhoub, Malek Sadaoui, Samira Ait Mohamed, Otmane Ali, Moonis (1)
Murray, Neil V. (1)
Murty, M. Narasimha He, Xiangjian Chillarige, Raghavendra Rao Weng, Paul (1)
Nieuwenhuis, Robert (1)
Olivetti, Nicola (1)
Olivetti, Nicola Tiwari, Ashish (1)
Orgun, Mehmet A. Thornton, John (1)
Paliouras, Georgios Spyropoulos, Constantine D. Tsatsaronis, George (1)
Peltier, Nicolas Sofronie-Stokkermans, Viorica (2)
Shi, Zhongzhi Wu, Zhaohui Leake, David Sattler, Uli (2)
Shimohara, K. Feng, D. (2)
Voronkov, Andrei (2)

Baumgartner, Peter (1)
Bibel, Wolfgang Biermann, A.W. Delgrande, J.P. Huet, G. Jorrand, Philippe Mylopoulos, J. Shapiro, E. Stickel, M.E. (1)
Cao, Tru Hoang (2)
Corbett, Dan (2)
Lawry, Jonathan (2)
Majumdar, M. Catherine (1)
Miola, Alfonso (1)
Neagu, Nicoleta (1)
Paulson, Lawrence C. (1)
Stachniak, Z. (2)
Zelend, Andreas (1)

1984 (1)
1986 (1)
1989 (1)
1990 (1)
1992 (1)
1993 (1)
1994 (1)
1995 (1)
1996 (1)
1997 (1)
1998 (2)
1999 (1)
2000 (1)
2001 (1)
2002 (1)
2003 (1)
2004 (1)
2005 (1)
2006 (1)
2007 (1)
2008 (1)
2009 (1)
2010 (2)
2011 (1)
2019 (2)
2020 (2)

Englisch (142)

HOME

1
2
3
4
5

The Semantic Web: Research and Applications

The Semantic Web: Research and Applications

106,99 €*

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

KI 2009: Advances in Artificial Intelligence

KI 2009: Advances in Artificial Intelligence

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

AI*IA 99:Advances in Artificial Intelligence

AI*IA 99:Advances in Artificial Intelligence

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Computer Algebra in Scientific Computing

Computer Algebra in Scientific Computing

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

Multi-disciplinary Trends in Artificial Intelligence

Multi-disciplinary Trends in Artificial Intelligence

51,36 €*

Preise inkl. MwSt. zzgl. Versandkosten

Logic Programming and Automated Reasoning

Logic Programming and Automated Reasoning

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Rule Technologies: Foundations, Tools, and Applications

Rule Technologies: Foundations, Tools, and Applications

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Logics in Artificial Intelligence

Logics in Artificial Intelligence

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Interactive TV: A Shared Experience

Interactive TV: A Shared Experience

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

Abstraction, Reformulation, and Approximation

Abstraction, Reformulation, and Approximation

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Foundations of Biomedical Knowledge Representation

Foundations of Biomedical Knowledge Representation

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Mechanizing Mathematical Reasoning

Mechanizing Mathematical Reasoning

106,99 €*

Preise inkl. MwSt. zzgl. Versandkosten

Hagenberg Research

Hagenberg Research

160,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Theorem Proving with Analytic Tableaux and Related Methods

Theorem Proving with Analytic Tableaux and Related Methods

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Intelligent Computer Mathematics

Intelligent Computer Mathematics

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Theory and Models for Cyber Situation Awareness

Theory and Models for Cyber Situation Awareness

58,84 €*

Preise inkl. MwSt. zzgl. Versandkosten

DNA Computing

DNA Computing

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Fundamentals of Artificial Intelligence

Fundamentals of Artificial Intelligence

53,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Intelligent Information Processing III

Intelligent Information Processing III

160,49 €*

Preise inkl. MwSt. zzgl. Versandkosten

Frontiers of Combining Systems

Frontiers of Combining Systems

69,54 €*

Preise inkl. MwSt. zzgl. Versandkosten

Logic Programming and Automated Reasoning

Logic Programming and Automated Reasoning

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 ...