- 5 Ergebnisse
Kleinster Preis: € 71,39, größter Preis: € 92,99, Mittelwert: € 81,29
1
Computer Science Logic - Georg Gottlob; Etienne Grandjean; Katrin Seyr
Bestellen
bei Springer.com
€ 71,39
Bestellengesponserter Link
Georg Gottlob; Etienne Grandjean; Katrin Seyr:

Computer Science Logic - neues Buch

ISBN: 9783540488552

Computer Science; Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Mathe… Mehr…

  - Versandkosten:zzgl. Versandkosten.
2
Computer Science Logic
Bestellen
bei Hugendubel.de
€ 92,99
Versand: € 0,001
Bestellengesponserter Link
Computer Science Logic - neues Buch

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…

Nr. 33495722. Versandkosten:, , DE. (EUR 0.00)
3
Bestellen
bei hive.co.uk
£ 66,73
(ca. € 76,54)
Bestellengesponserter Link
Stefano Vignudelli:
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

  - No. 9783540488552. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten.
4
Computer Science Logic : 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings - Karl H. Hohne
Bestellen
bei hive.co.uk
£ 66,73
(ca. € 75,56)
Bestellengesponserter Link
Karl H. Hohne:
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

  - No. 9783540488552. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten.
5
Bestellen
bei eBook.de
€ 89,99
Versand: € 0,001
Bestellengesponserter Link
Computer Science Logic - neues Buch

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…

  - Nr. Versandkosten:, , DE. (EUR 0.00)

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

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)


< zum Archiv...