- 5 Ergebnisse
Kleinster Preis: € 53,49, größter Preis: € 93,08, Mittelwert: € 61,88
1
Computer Science Logic : 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings - Georg Gottlob
Bestellen
bei ZVAB.com
€ 53,74
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Georg Gottlob:

Computer Science Logic : 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings - Taschenbuch

1999, ISBN: 3540659226

[EAN: 9783540659228], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], INTELLIGENZ / KÜNSTLICHE INTELLIGENZ; KI; - AI; COMPUTATIONALCOMPLEXITY; COMPUTERSCIENCECONSTRAINT; FUZZY; FUZZ… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
zuklappen (X)
2
Computer Science Logic - Georg Gottlob
Bestellen
bei AbeBooks.de
€ 93,08
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Georg Gottlob:

Computer Science Logic - Taschenbuch

1999, ISBN: 3540659226

[EAN: 9783540659228], Neubuch, [PU: Springer Berlin Heidelberg Apr 1999], INTELLIGENZ / KÜNSTLICHE INTELLIGENZ; KI; - AI; COMPUTATIONALCOMPLEXITY; COMPUTERSCIENCECONSTRAINT; FUZZY; FUZZYI… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) BuchWeltWeit Inh. Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 5 (von 5)]
zuklappen (X)
3
Computer Science Logic 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings - Gottlob, Georg (Herausgeber); Seyr, Katrin (Herausgeber); Grandjean, Etienne (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 55,60
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
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 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…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
4
Computer Science Logic
Bestellen
bei Hugendubel.de
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Computer Science Logic - Taschenbuch

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…

Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
zuklappen (X)
5
Computer Science Logic - Georg Gottlob; Etienne Grandjean; Katrin Seyr
Bestellen
bei lehmanns.de
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Georg Gottlob; Etienne Grandjean; Katrin Seyr:
Computer Science Logic - Erstausgabe

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…

Versandkosten:Versand in 10-14 Tagen. (EUR 0.00)
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Computer Science Logic
Autor:
Titel:
ISBN-Nummer:

9783540659228


This book constitutes the strictly refereed post-workshop proceedings of the 12th International Workshop on Computer Science Logic, CSL '98, held as the Annual Conference of the European Association on Computer Science Logic in Brno, Czech Republic in August 1998.The 25 revised full papers presented were carefully reviewed and selected during two rounds of reviewing and revision. Also included are three reviewed invited papers. The papers span the whole scope of computer science logic and mathematical foundations and represent the state of the art in the area.

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 (Berlin)
Detailseite zuletzt geändert am 2024-01-14T10:37:22+01:00 (Berlin)
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
< zum Archiv...