ISBN: 9783540488552
Computer Science; Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Mathe… Mehr…
Springer.com Versandkosten:zzgl. Versandkosten. Details... |
ISBN: 9783540488552
Computer Science Logic ab 92.99 € als pdf eBook: 12th International Workshop CSL'98 Annual Conference of the EACSL Brno Czech Republic August 24-28 1998 Proceedings. Aus dem Bereich: eBoo… Mehr…
Hugendubel.de Nr. 33495722. Versandkosten:, , DE. (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
ISBN: 9783540488552
; PDF \ Stefano Vignudelli; Scientific, Technical and Medical > Mathematical foundations > Mathematical logic, Springer Berlin Heidelberg
hive.co.uk No. 9783540488552. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
Computer Science Logic : 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings - neues Buch
ISBN: 9783540488552
; PDF; Scientific, Technical and Medical > Mathematical foundations > Mathematical logic, Springer Berlin Heidelberg
hive.co.uk No. 9783540488552. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
ISBN: 9783540488552
Computer Science Logic ab 89.99 EURO 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings Medien > Bücher, [PU: Sprin… Mehr…
eBook.de Nr. Versandkosten:, , DE. (EUR 0.00) Details... |
ISBN: 9783540488552
Computer Science; Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Mathe… Mehr…
ISBN: 9783540488552
Computer Science Logic ab 92.99 € als pdf eBook: 12th International Workshop CSL'98 Annual Conference of the EACSL Brno Czech Republic August 24-28 1998 Proceedings. Aus dem Bereich: eBoo… Mehr…
Computer Science Logic : 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings - neues Buch
ISBN: 9783540488552
; PDF \ Stefano Vignudelli; Scientific, Technical and Medical > Mathematical foundations > Mathematical logic, Springer Berlin Heidelberg
ISBN: 9783540488552
Computer Science Logic ab 89.99 EURO 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings Medien > Bücher, [PU: Sprin… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Computer Science Logic
EAN (ISBN-13): 9783540488552
Herausgeber: Springer Science+Business Media
Buch in der Datenbank seit 2016-11-26T00:45:43+01:00 (Zurich)
Detailseite zuletzt geändert am 2021-11-24T18:29:37+01:00 (Zurich)
ISBN/EAN: 9783540488552
ISBN - alternative Schreibweisen:
978-3-540-48855-2
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: etienne, gottlob, grandjean
Titel des Buches: computer science logic, czech
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: 2006-10-11
Berlin; Heidelberg; DE
Gedruckt / Hergestellt in Deutschland.
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
X, 442 p.
EA; E107; eBook; Nonbooks, PBS / 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; C; Artificial Intelligence; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Mathematical Logic and Foundations; Artificial Intelligence; Formal Languages and Automata Theory; Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Mathematical Logic and Foundations; Computer Science; Theoretische Informatik; Compiler und Übersetzer; Mathematik: Logik; Mathematische Grundlagen; BC
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.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783540301240 Computer Science Logic (Jerzy Marcinkowski)
- 9783540301240 Computer Science Logic (Jerzy Marcinkowski)
- 9783540318972 Computer Science Logic als eBook Download von (Luke Ong)
- 9783540659228 Computer Science Logic (Georg Gottlob; Etienne Grandjean; Katrin Seyr)
- 9783540230243 Computer Science Logic (Jerzy Marcinkowski)
- 9783540282310 Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings Luke O (Luke Ong)
< zum Archiv...