Um unseren Shop in vollem Umfang nutzen zu können, empfehlen wir Ihnen Javascript in Ihrem Browser zu aktivieren.
Herzlich Willkommen!
Bitte wählen Sie Ihr Versandland aus:
Deutschland
Vereinigtes Königreich
Griechenland
Irland
Island
Italien
Japan
Kanada
Luxemburg
Namibia
Niederlande
Norwegen
Österreich
Portugal
Schweden
Schweiz
Spanien
Vereinigte Staaten von Amerika
Liechtenstein
Arabische Emirate
Polen
Ungarn
Türkei
Tschechische Republik
Slowakei
Rumänien
Brasilien
Israel
Australien
Belgien
Dänemark
Finnland
Frankreich
Bulgarien
Estland
Kroatien
Lettland
Litauen
Malta
Slowenien
Zypern
Afghanistan
Åland
Albanien
Algerien
Amerikanisch-Samoa
Andorra
Angola
Anguilla
Antarktika
Antigua und Barbuda
Argentinien
Armenien
Aruba
Aserbaidschan
Bahamas
Bahrain
Bangladesch
Barbados
Weißrussland
Belize
Benin
Bermuda
Bhutan
Bolivien
Bonaire, Sint Eustatius und Saba
Bosnien und Herzegowina
Botswana
Bouvetinsel
Britisches Territorium im Indischen Ozean
Kleinere Inselbesitzungen der Vereinigten Staaten
Britische Jungferninseln
Amerikanische Jungferninseln
Brunei
Burkina Faso
Burundi
Kambodscha
Kamerun
Kap Verde
Kaimaninseln
Zentralafrikanische Republik
Tschad
Chile
China
Weihnachtsinsel
Kokosinseln
Kolumbien
Union der Komoren
Kongo
Kongo (Dem. Rep.)
Cookinseln
Costa Rica
Kuba
Curaçao
Dschibuti
Dominica
Dominikanische Republik
Ecuador
Ägypten
El Salvador
Äquatorial-Guinea
Eritrea
Äthiopien
Falklandinseln
Färöer-Inseln
Fidschi
Französisch Guyana
Französisch-Polynesien
Französische Süd- und Antarktisgebiete
Gabun
Gambia
Georgien
Ghana
Gibraltar
Grönland
Grenada
Guadeloupe
Guam
Guatemala
Guernsey
Guinea
Guinea-Bissau
Guyana
Haiti
Heard und die McDonaldinseln
Staat Vatikanstadt
Honduras
Hong Kong
Indien
Indonesien
Elfenbeinküste
Iran
Irak
Insel Man
Jamaika
Jersey
Jordanien
Kasachstan
Kenia
Kiribati
Kuwait
Kirgisistan
Laos
Libanon
Lesotho
Liberia
Libyen
Macao
Mazedonien
Madagaskar
Malawi
Malaysia
Malediven
Mali
Marshallinseln
Martinique
Mauretanien
Mauritius
Mayotte
Mexiko
Mikronesien
Moldawie
Monaco
Mongolei
Montenegro
Montserrat
Marokko
Mosambik
Myanmar
Nauru
Népal
Neukaledonien
Neuseeland
Nicaragua
Niger
Nigeria
Niue
Norfolkinsel
Nordkorea
Nördliche Marianen
Oman
Pakistan
Palau
Palästina
Panama
Papua-Neuguinea
Paraguay
Peru
Philippinen
Pitcairn
Puerto Rico
Katar
Republik Kosovo
Réunion
Russland
Ruanda
Saint-Barthélemy
Sankt Helena
St. Kitts und Nevis
Saint Lucia
Saint Martin
Saint-Pierre und Miquelon
Saint Vincent und die Grenadinen
Samoa
San Marino
São Tomé und Príncipe
Saudi-Arabien
Senegal
Serbien
Seychellen
Sierra Leone
Singapur
Sint Maarten (niederl. Teil)
Salomonen
Somalia
Republik Südafrika
Südgeorgien und die Südlichen Sandwichinseln
Südkorea
Südsudan
Sri Lanka
Sudan
Suriname
Svalbard und Jan Mayen
Swasiland
Syrien
Taiwan
Tadschikistan
Tansania
Thailand
Timor-Leste
Togo
Tokelau
Tonga
Trinidad und Tobago
Tunesien
Turkmenistan
Turks- und Caicosinseln
Tuvalu
Uganda
Ukraine
Uruguay
Usbekistan
Vanuatu
Venezuela
Vietnam
Wallis und Futuna
Westsahara
Jemen
Sambia
Simbabwe
Auswahl bestätigen
Mehr Infos: Haupt Newsletter
Mehr Bücher: Haupt Buchhandlung
Menü schließen
Ihr Konto
Anmelden
oder
registrieren
Übersicht
Persönliches Profil
Adressen
Zahlungsarten
Bestellungen
0,00 CHF*
Natur
Geschichte
Gestalten
Fachbuch
Aktuell
Service
TEMP für Test APPS
TEMP für Tests Events
Zur Kategorie Natur
Neuerscheinungen
Garten
Pflanzen & Pilze
Flora Helvetica
Tiere
Natur- und Wanderführer
Natur entdecken mit Kindern
Erde / Klima / Wasser
Astronomie
Umwelt / Ökologie
Spiele / Puzzles
Apps
Zur Kategorie Geschichte
Neuerscheinungen
Wissenschaftsgeschichte
Kulturgeschichte
Naturgeschichte
Zur Kategorie Gestalten
Neuerscheinungen
Gestalten mit Kindern
Druck / Papier
Schrift / Kunst / Zeichnen
Holz
Keramik / Glas
Metall / Stein
Schmuck
Färben
Mode / Textildesign
Textile Techniken
Wohnen / DIY
Zur Kategorie Fachbuch
Neuerscheinungen
Umwelt / Ökologie
Land- und Forstwirtschaft
NPO-Management
Management
Soziale Arbeit
Pädagogik
Haupt bei UTB
Zur Kategorie Aktuell
Magazin
Veranstaltungen
Newsletter
Zur Kategorie Service
Über uns
Team
Für den Handel
Für Presse / Medien
Für Autor:innen
Rights
Haupt Buchhandlung
Kontakt
Menü schließen
Fr
Schweizer Franken
Fr CHF
€ EUR
Kategorien
Natur
Geschichte
Gestalten
Fachbuch
Aktuell
Service
TEMP für Test APPS
TEMP für Tests Events
Zu "Mathematical Logic and Formal Languages" wurden 615 Produkte gefunden
Suchergebnis | hauptverlag
Erscheinungsdatum
Titel A-Z
Titel Z-A
Preis aufsteigend
Preis absteigend
Artikelnr.
Beste Ergebnisse
Filter
Filter
Verlag
Metzler-Pöschel (1)
Spektrum (1)
Springer Nature EN (610)
Vieweg + Teubner (3)
Produktart
Gebunden (63)
Kartoniert / Broschiert (543)
Kassette / Medienmix z.B. Audio und Buch (8)
Unbekannt (1)
Herausgeber
Aagaard, Mark D. O'Leary, John W. (1)
Abate, Alessandro Boldo, Sylvie (1)
Aberdein, Andrew Dove, Ian J (1)
Ablaev, Farid M. Mayr, Ernst W. (1)
Abramsky, Samson Kontinen, Juha Väänänen, Jouko Vollmer, Heribert (2)
Adorni, Giovanni Cagnoni, Stefano Gori, Marco Maratea, Marco (1)
Aha, David W. Watson, Ian (1)
Aichernig, Bernhard K. Furia, Carlo A. (1)
Aiello, Marco Pratt-Hartmann, Ian Benthem, Johan van (1)
Akman, Varol Bouquet, Paolo Thomason, Richmond Young, Roger A. (1)
Alferes, Jose Julio Bertossi, Leopoldo Governatori, Guido Fodor, Paul Roman, Dumitru (1)
Alferes, Jose, Julio Leite, Joao (1)
Alferes, José Júlio Bailey, James May, Wolfgang Schwertel, Uta (1)
Alur, Rajeev Peled, Doron A. (1)
Amadio, Roberto (1)
Amblard, Maxime de Groote, Philippe Pogodalla, Sylvain Retoré, Christian (1)
An, Bo Bazzan, Ana Leite, João Villata, Serena van der Torre, Leendert (1)
Andersson, Birger Bergholtz, Maria Johannesson, P. (1)
André, Étienne Stoelinga, Mariëlle (1)
Andréka, Hajnal Ferenczi, Miklós Németi, István (1)
Antonucci, Alessandro Cholvy, Laurence Papini, Odile (1)
Arló-Costa, Horacio Hendricks, Vincent F. van Benthem, Johan (2)
Artemov, Sergei Nerode, Anil (3)
Artho, Cyrille Legay, Axel Peled, Doron (1)
Ashley, Kevin D. Bridge, Derek (1)
Asperti, Andrea Buchberger, Bruno Davenport, James Harold (1)
Auer, Peter Meir, Ron (1)
Avigad, Jeremy Mahboubi, Assia (1)
Ayala-Rincón, Mauricio Muñoz, César A. (1)
Baader, Franz (1)
Baader, Franz Voronkov, Andrei (1)
Baaz, Matthias Makowsky, Johann M. (1)
Bacchus, Fahiem Walsh, Toby (1)
Backhouse, Roland Crole, Roy Gibbons, Jeremy (1)
Baeten, Jos C.M. Ball, Tom de Boer, Frank S. (1)
Baetens, Jan M. Kutrib, Martin (1)
Balcázar, José L. Long, Philip M. Stephan, Frank (1)
Ball, Thomas Jones, Robert B. (1)
Baltag, Alexandru Seligman, Jeremy Yamada, Tomoyuki (1)
Baral, Chitta Greco, Gianluigi Leone, Nicola Terracina, Giorgio (1)
Basin, David Rusinowitch, Michael (1)
Basin, David Wolff, Burkhart (1)
Baskent, Can (1)
Baskent, Can Ferguson, Thomas Macaulay (1)
Baskent, Can Moss, Lawrence S. Ramanujam, Ramaswamy (1)
Bazzan, Ana L. C. Labidi, Sofiane (1)
Beckert, Bernhard (1)
Beckert, Bernhard Hähnle, Reiner Schmitt, Peter H. (1)
Beckmann, Arnold Bienvenu, Laurent Jonoska, Nataša (1)
Belardinelli, Francesco Argente, Estefanía (1)
Bellahsene, Zohra Bonifati, Angela Rahm, Erhard (1)
Ben David, Shai Case, John Maruoka, Akira (1)
Benferhat, Salem Besnard, Philippe (1)
Benslimane, Djamal Damiani, Ernesto Grosky, William I. Hameurlain, Abdelkader Sheth, Amit Wagner, Roland R. (1)
Benzmüller, Christoph Ricca, Francesco Parent, Xavier Roman, Dumitru (1)
Berardi, Stefano Coppo, Mario Damiani, Ferruccio (1)
Berry, Gerard Comon, Hubert Finkel, Alain (1)
Bert, Didier Bowen, Jonathan P. Henson, Martin C. Robinson, Ken (1)
Bert, Didier Bowen, Jonathan P. King, Steve Waldén, Marina (1)
Berthé, Valerie Ferenczi, Sebastien Mauduit, Christian Siegel, Anne (1)
Bessiere, Christian (1)
Bezhanishvili, Guram (1)
Biere, Armin Bloem, Roderick (1)
Biere, Armin Gomes, Carla P. (1)
Bilgic, Taner Baets, Bernard De Kaynak, Okays (1)
Bimbo, Katalin (1)
Bishop, Judith Vallecillo, Antonio (1)
Bittencourt, Guilherme Ramalho, Geber L. (1)
Bjørner, Dines Henson, Martin C. (1)
Blache, Philippe Stabler, Edward Busquets, Joan Moot, Richard (1)
Blackburn, Patrick Ghidini, Chiara Turner, Roy M. Giunchiglia, Fausto (1)
Blackwell, Clive Zhu, Hong (1)
Blesa, Maria J. Blum, Christian Cangelosi, Angelo Cutello, Vincenzo Di Nuovo, Alessandro Pavone, Mario Talbi, El-Ghazali (1)
Blum, Edward K. Aho, Alfred V (1)
Blume, Matthias Kobayashi, Naoki Vidal-Oriola, Germán (1)
Blundo, Carlo Laneve, Cosimo (1)
Boca, Paul Bowen, Jonathan P. Siddiqi, Jawed (1)
Bodlaender, Hans L. Downey, Rodney Fomin, Fedor V. Marx, Dániel (1)
Boer, Frank S. de Bonsangue, Marcello M. Graf, Susanne de Roever, Willem-Paul (1)
Bogomolov, Sergiy Martel, Matthieu Prabhakar, Pavithra (1)
Bojanczyk, Mikolaj Simpson, Alex (1)
Bouajjani, Ahmed Monniaux, David (1)
Carvalho, Joao Paulo Lesot, Marie-Jeanne Kaymak, Uzay Vieira, Susana Bouchon-Meunier, Bernadette Yager, Ronald R. (2)
Chomicki, Jan Meyden, Ron van der Saake, Gunter (2)
Ciobanu, Gabriel Pérez-Jiménez, Mario J. Paun, Gheorghe (2)
Croitoru, Madalina Marquis, Pierre Rudolph, Sebastian Stapleton, Gem (2)
Czelakowski, Janusz (2)
Dastani, Mehdi Hindriks, Koen V. Meyer, John-Jules (2)
Gelbukh, Alexander (6)
Hansson, Sven Ove (2)
Hömberg, Dietmar Tröltzsch, Fredi (2)
Ibarra, Oscar H. Dang, Zhe (2)
Laurent, Anne Strauss, Olivier Bouchon-Meunier, Bernadette Yager, Ronald R. (3)
Medina, Jesús Ojeda-Aciego, Manuel Verdegay, José Luis Pelta, David A. Cabrera, Inma P. Bouchon-Meunier, Bernadette Yager, Ronald R. (2)
Peters, James F. Skowron, Andrzej (2)
Rojas, Ignacio Valenzuela, Olga Rojas, Fernando Ortuño, Francisco (2)
Romanovsky, Alexander Thomas, Martyn (2)
Seising, Rudolf Trillas, Enric Moraga, Claudio Termini, Settimo (3)
Shi, Zhongzhi Wu, Zhaohui Leake, David Sattler, Uli (2)
Swart, Harrie de Orlowska, Ewa Schmidt, Gunther Roubens, Marc (2)
Autor
Apt, Krzysztof R. de Boer, Frank S. Olderog, Ernst-Rüdiger (2)
Baaz, Matthias Leitsch, Alexander (1)
Bell, John L. (1)
Berard, B. Bidoit, M. Finkel, A. Laroussinie, F. Petit, A. Petrucci, L. Schnoebelen, P. (1)
Bergstra, Jan A Middelburg, Cornelis A. (1)
Bochman, Alexander (1)
Bolc, Leonard Borowik, Piotr (2)
Bollig, Benedikt (2)
Braüner, Torben (1)
Broy, Manfred Stølen, Ketil (2)
Bultan, Tevfik Yu, Fang Alkhalaf, Muath Aydin, Abdulbaki (2)
Butler, Alastair (1)
Calude, Cristian S. (1)
Cantone, Domenico Omodeo, Eugenio Policriti, Alberto (2)
Cantone, Domenico Ursino, Pietro (1)
Carnielli, Walter Pizzi, Claudio (2)
Cellucci, Carlo (2)
Cheng, Daizhan Qi, Hongsheng Li, Zhiqiang (1)
Chiang, David (1)
Cocchiarella, Nino B. (1)
Crabbe, Stephen (2)
Czelakowski, Janusz (1)
D'Avila Garcez, Artur S. Lamb, Luís C. Gabbay, Dov M. (1)
Dasgupta, Pallab (1)
David, René Alla, Hassane (1)
Demri, Stephane P. Orlowska, Ewa (1)
Deng, Yuxin (1)
Derrick, John Boiten, Eerke A. (1)
Doberkat, Ernst-Erich (2)
Ebbinghaus, Heinz Dieter Peckhaus, Volker (2)
Ehrig, Hartmut Ehrig, Karsten Prange, Ulrike Taentzer, Gabriele (2)
Eklund, Patrik Gutie´rrez Garci´a, Javier Höhle, Ulrich Kortelainen, Jari (1)
Euzenat, Jérôme Shvaiko, Pavel (2)
Fajstrup, Lisbeth Goubault, Eric Haucourt, Emmanuel Mimram, Samuel Raussen, Martin (1)
Fenstad, Jens Erik (1)
Ferguson, Thomas Macaulay (2)
Fey, Görschwin Drechsler, Rolf (2)
Flum, J. Grohe, M. (2)
Fokkink, Wan (1)
Frühwirth, Thom Abdennadher, Slim (1)
Gabbay, Dov M. (2)
Gabbay, Dov M. Schlechta, Karl (3)
Ganesalingam, Mohan (1)
Giustolisi, Rosario (2)
Gokhale, Maya B. Graham, Paul S. (2)
Gopalakrishnan, Ganesh (1)
Hansson, Sven Ove (1)
Heinemann, Bernhard WEHIRAUCH, KLAUS (1)
Hoffmann, Dirk W. (1)
Hromkovic, Juraj (1)
Hudec, Miroslav (2)
Hutter, Marcus (1)
Iacona, Andrea (1)
Indrzejczak, Andrzej (1)
Jay, Barry (1)
Jech, Thomas (2)
Jureta, Ivan (1)
Jøsang, Audun (1)
Kaci, Souhila (2)
Kaufmann, Michael (2)
Kohlhase, Michael (1)
Konrad, Karsten (1)
Koppitz, Jörg Denecke, Klaus (2)
Kourie, Derrick G. Watson, Bruce W. (1)
Kracht, Marcus (1)
Krantz, Steven G. (1)
Küsters, Ralf (1)
Lee, Raymond S.T. (1)
Liu, Shaoying (1)
Losee, Robert M. (1)
Martino, Enrico (1)
Mazzola, Guerino Milmeister, Gérard Weissmann, Jody (1)
McIver, Annabelle Morgan, Charles Carroll (1)
Meduna, Alexander Zemek, Petr (2)
Mogavero, Fabio (1)
Moot, Richard Retore, Christian (1)
Muresan, Marian (2)
Newborn, Monty (1)
Nipkow, Tobias Paulson, Lawrence C. Wenzel, Markus (1)
Ognjanovic, Zoran Raškovic, Miodrag Markovic, Zoran (1)
Orlowska, Ewa Golinska Pilarek, Joanna (1)
Ovchinnikova, Ekaterina (1)
Patel, Hiren D. Shukla, Sandeep Kumar (1)
Paun, Gheorghe (2)
Platzer, André (1)
Primiero, Giuseppe (1)
Pytheas Fogg, N. (1)
Rhodes, John Steinberg, Benjamin (1)
Ronchi Della Rocca, Simona Paolini, Luca (1)
Rust, Heinrich (1)
Schneider, Klaus (1)
Sikos, Leslie F. (1)
Singh, Neeraj Kumar (1)
Smialek, Michal Nowakowski, Wiktor (1)
Stirling, Colin (2)
Studer, Thomas (1)
Sturmfels, Bernd (1)
Tarski, Alfred (2)
Zermelo, Ernst (2)
Zhou, Chaochen Hansen, Michael R. (2)
Schlagworte
Algorithm Analysis and Problem Complexity (102)
Algorithmen und Datenstrukturen (72)
Algorithms (106)
Algorithms & data structures (100)
angewandte informatik (40)
Application software (87)
Artificial Intelligence (339)
Automated Pattern Recognition (26)
B (167)
C (443)
Compiler und Übersetzer (69)
Compilers & interpreters (139)
Compilers and Interpreters (115)
Computation by Abstract Devices (112)
Computer and Information Systems Applications (62)
Computer Appl. in Administrative Data Processing (21)
Computer Application in Administrative Data Processing (17)
Computer architecture & logic design (247)
Computer Communication Networks (30)
Computer communication systems (25)
Computer logic (243)
Computer Modelling (26)
Computer modelling & simulation (30)
Computer programming (93)
Computer programming / software engineering (241)
computer science (531)
Computer Science Logic and Foundations of Programming (206)
Computer science—Mathematics (84)
Computer simulation (32)
Computer Vision (25)
Computerprogrammierung und Softwareentwicklung (52)
Computers (179)
Data Mining (50)
Data Mining and Knowledge Discovery (50)
Data structures (Computer science) (23)
Data Warehousing (74)
Database Management (73)
database programming (73)
Databases (63)
Datenbanken (59)
Discrete Mathematics (43)
Discrete Mathematics in Computer Science (39)
Diskrete Mathematik (28)
Expert systems / knowledge-based systems (63)
Formal Languages and Automata Theory (466)
Image processing (25)
Image Processing and Computer Vision (23)
Information Retrieval (98)
Information Storage and Retrieval (74)
Information Systems Applications (incl. Internet) (60)
Information technology: general issues (38)
Information theory (15)
Informationsrückgewinnung, Information Retrieval (50)
Internet searching (60)
Künstliche Intelligenz (125)
Logic (61)
Logics and Meanings of Programs (242)
Maschinelles Sehen, Bildverstehen (16)
Mathematical & statistical software (23)
Mathematical foundations (68)
Mathematical logic (615)
Mathematical Logic and Formal Languages (615)
Mathematical Logic and Foundations (227)
Mathematical statistics (15)
Mathematical theory of computation (568)
Mathematics and Statistics (34)
Mathematics of Computing (25)
Mathematik für Informatiker (56)
Mathematik: Logik (38)
mathematische Grundlagen (49)
Maths for computer scientists (94)
Mustererkennung (16)
Natural language & machine translation (36)
Natural language processing (Computer science) (43)
Natural Language Processing (NLP) (43)
Natürliche Sprachen und maschinelle Übersetzung (22)
Network hardware (24)
Netzwerk-Hardware (20)
Numeric Computing (17)
Numerical analysis (23)
Operating systems (79)
Optical data processing (27)
pattern recognition (26)
Philosophie: Logik (15)
Philosophy: logic (27)
Probability and Statistics in Computer Science (15)
Programming & scripting languages: general (120)
Programming languages (Electronic computers) (139)
Programming Languages, Compilers, Interpreters (139)
Programming Techniques (93)
Public Administration (21)
Religion and Philosophy (32)
Semantics (16)
Simulation and Modeling (32)
Software Engineering (214)
Software Engineering/Programming and Operating Systems (73)
Symbolic and Algebraic Manipulation (26)
Theoretische Informatik (300)
Theory of Computation (197)
Wissensbasierte Systeme, Expertensysteme (50)
Veröffentlicht
1992 (1)
2000 (1)
2001 (1)
2002 (1)
2003 (2)
2004 (2)
2005 (2)
2006 (2)
2007 (2)
2010 (2)
2012 (2)
2013 (3)
2014 (4)
2015 (2)
2016 (2)
2017 (2)
2018 (3)
2019 (3)
Sprache
Deutsch (5)
Englisch (610)
Rule Technologies. Research, Tools, and Applications
0,00 CHF*
Details
Learning Theory
0,00 CHF*
Details
Algebra, Meaning, and Computation
0,00 CHF*
Details
Computer Aided Verification
0,00 CHF*
Details
Automated Reasoning
0,00 CHF*
Details
Computational Learning Theory
0,00 CHF*
Details
Case-Based Reasoning Research and Development
0,00 CHF*
Details
Computer Aided Verification
0,00 CHF*
Details
Erdös Centennial
0,00 CHF*
Details
Automated Theorem Proving
0,00 CHF*
Details
Ontology Matching
0,00 CHF*
Details
Modal and Temporal Properties of Processes
0,00 CHF*
Details
Modal and Temporal Properties of Processes
0,00 CHF*
Details
Neural-Symbolic Cognitive Reasoning
0,00 CHF*
Details
Information Processing and Management of Uncertainty
0,00 CHF*
Details
Logic, Language, Information, and Computation
0,00 CHF*
Details
The Parametric Lambda Calculus
0,00 CHF*
Details
Information and Randomness
0,00 CHF*
Details
Computational Intelligence
0,00 CHF*
Details
Automated Reasoning
0,00 CHF*
Details
Conceptual Modeling - ER 2006
0,00 CHF*
Details
Rough Sets and Current Trends in Computing
0,00 CHF*
Details
Chinese Spoken Language Processing
0,00 CHF*
Details
AI 2006: Advances in Artificial Intelligence
0,00 CHF*
Details
1
2
3
4
5
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können.
Mehr Informationen ...
Nur technisch notwendige
Konfigurieren
Alle Cookies akzeptieren
Zurück
