1999, ISBN: 3540659226
[EAN: 9783540659228], Neubuch, [PU: Springer Berlin Heidelberg Apr 1999], INTELLIGENZ / KÜNSTLICHE INTELLIGENZ; KI; - AI; COMPUTATIONALCOMPLEXITY; COMPUTERSCIENCECONSTRAINT; FUZZY; FUZZYI… Mehr…
AbeBooks.de BuchWeltWeit Inh. Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
Computer Science Logic 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings - neues Buch
1999, ISBN: 3540659226
1999 Kartoniert / Broschiert Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Mathematische Grundlagen, Compiler und Übersetzer, Theoretische Informatik, Künstlich… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
ISBN: 9783540659228
*Computer Science Logic* - 12th International Workshop CSL'98 Annual Conference of the EACSL Brno Czech Republic August 24-28 1998 Proceedings. Auflage 1999 / Taschenbuch für 53.49 € / Au… Mehr…
Hugendubel.de Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
1999, ISBN: 9783540659228
Taschenbuch
12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings, Buch, Softcover, 1999, [PU: Springer Berlin], Springer Berlin, … Mehr…
lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
ISBN: 9783540659228
There is currently no description available, Springer
Springer.com Nr. 978-3-540-65922-8. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00) Details... |
1999, ISBN: 3540659226
[EAN: 9783540659228], Neubuch, [PU: Springer Berlin Heidelberg Apr 1999], INTELLIGENZ / KÜNSTLICHE INTELLIGENZ; KI; - AI; COMPUTATIONALCOMPLEXITY; COMPUTERSCIENCECONSTRAINT; FUZZY; FUZZYI… Mehr…
Gottlob, Georg (Herausgeber); Seyr, Katrin (Herausgeber); Grandjean, Etienne (Herausgeber):
Computer Science Logic 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings - neues Buch1999, ISBN: 3540659226
1999 Kartoniert / Broschiert Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Mathematische Grundlagen, Compiler und Übersetzer, Theoretische Informatik, Künstlich… Mehr…
ISBN: 9783540659228
*Computer Science Logic* - 12th International Workshop CSL'98 Annual Conference of the EACSL Brno Czech Republic August 24-28 1998 Proceedings. Auflage 1999 / Taschenbuch für 53.49 € / Au… Mehr…
1999, ISBN: 9783540659228
Taschenbuch
12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings, Buch, Softcover, 1999, [PU: Springer Berlin], Springer Berlin, … Mehr…
ISBN: 9783540659228
There is currently no description available, Springer
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Computer Science Logic
EAN (ISBN-13): 9783540659228
ISBN (ISBN-10): 3540659226
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1999
Herausgeber: Springer Berlin
452 Seiten
Gewicht: 0,678 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-06-26T15:45:31+02:00 (Zurich)
Detailseite zuletzt geändert am 2024-03-25T11:31:29+01:00 (Zurich)
ISBN/EAN: 9783540659228
ISBN - alternative Schreibweisen:
3-540-65922-6, 978-3-540-65922-8
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: seyr, etienne grandjean, georg gottlob, may georg
Titel des Buches: logic computer science, brno, republic com, conference proceedings, august 1998, annual, lecture notes computer science, geo 1998, international, the czech republic
Daten vom Verlag:
Autor/in: Georg Gottlob; Etienne Grandjean; Katrin Seyr
Titel: Lecture Notes in Computer Science; Computer Science Logic - 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings
Verlag: Springer; Springer Berlin
442 Seiten
Erscheinungsjahr: 1999-04-28
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
X, 442 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; Computational Complexity; Computer Science Logic; Constraint; Fuzzy; Fuzzy Logic; Induction; Mathematical Logic; Partition; algorithm; complexity; databases; logic; logic programming; programming; semantics; Artificial Intelligence; Formal Languages and Automata Theory; Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Mathematical Logic and Foundations; Theoretische Informatik; Compiler und Übersetzer; Mathematik: Logik; Mathematische Grundlagen; EA
Invited Papers.- Trakhtenbrot Theorem and Fuzzy Logic.- Descriptive Complexity, Lower Bounds and Linear Time.- Testing of Finite State Systems.- Contributed Papers.- On the Power of Quantifiers in First-Order Algebraic Specification.- On the Effective Semantics of Nondeterministic, Nonmonotonic, Temporal Logic Databases.- Revision Programming = Logic Programming + Integrity Constraints.- Quantifiers and the System KE: Some Surprising Results.- Choice Construct and Lindström Logics.- Monadic NP and Graph Minors.- Invariant Definability and P/poly.- Computational Complexity of Ehrenfeucht-Fraïssé Games on Finite Structures.- An Upper Bound for Minimal Resolution Refutations.- On an Optimal Deterministic Algorithm for SAT.- Characteristic Properties of Majorant-Computability Over the Reals.- Theorems of Péter and Parsons in Computer Programming.- Kripke, Belnap, Urquhart and Relevant Decidability & Complexity.- Existence and Uniqueness of Normal Forms in Pure Type Systems with ??-conversion.- Normalization of Typable Terms by Superdevelopments.- Subtyping Functional+Nonempty Record Types.- Monotone Fixed-Point Types and Strong Normalization.- Morphisms and Partitions of V-sets.- Computational Adequacy in an Elementary Topos.- Logical Relations and Inductive/Coinductive Types.- On the Complexity of H-Subsumption.- Complexity Classes and Rewrite Systems with Polynomial Interpretation.- RPO Constraint Solving Is in NP.- Quantifier Elimination in Fuzzy Logic.- Many-Valued First-Order Logics with Probabilistic Semantics.Includes supplementary material: sn.pub/extras
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783540488552 Computer Science Logic (Georg Gottlob; Etienne Grandjean; Katrin Seyr)
- 9783540488552 Computer Science Logic (Georg Gottlob; Etienne Grandjean; Katrin Seyr)
- 9783642152054 Computer Science Logic (Anuj Dawar; Helmut Veith)
- 9783642304729 Tests and Proofs (Achim Brucker; Jacques Julliand)
- 9783642152047 Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, ... Notes in Computer Science, 6247, Band 6247) (Anuj Dawar; Helmut Veith)
< zum Archiv...