- 5 Ergebnisse
Kleinster Preis: € 8,67, größter Preis: € 114,90, Mittelwert: € 73,19
1
Computer Science Logic: 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings Pete
Bestellen
bei BarnesandNoble.com
€ 109,99
Bestellen
Details und Versand
gesponserter Link

Computer Science Logic: 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings Pete - neues Buch

2000, ISBN: 9783540678953

CSL is the annual conference of the European Association for Computer Science Logic (EACSL). CSL2000 is the 14th such annual conference, thus witnessing the importance and sustained inter… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
zuklappen (X)
2
Computer Science Logic: 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings (Lecture Notes in Computer Science, 1862, Band 1862) - Schwichtenberg, Helmut, Clote, Peter G.
Bestellen
bei amazon.de
€ 25,38
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link

Schwichtenberg, Helmut, Clote, Peter G.:

Computer Science Logic: 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings (Lecture Notes in Computer Science, 1862, Band 1862) - Taschenbuch

2008, ISBN: 9783540678953

Springer, Taschenbuch, Auflage: 2000, 564 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: Illustrations, 3.79 kg, Informatik, IT-Ausbildung & -Berufe, Compu… Mehr…

Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
zuklappen (X)
3
Computer Science Logic
Bestellen
bei Hugendubel.de
€ 106,99
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Computer Science Logic - Taschenbuch

2000

ISBN: 9783540678953

*Computer Science Logic* - 14th International Workshop CSL 2000 Annual Conference of the EACSL Fischbachau Germany August 21-26 2000 Proceedings. Auflage 2000 / Taschenbuch für 106.99 € /… Mehr…

Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
zuklappen (X)
4
Bestellen
bei alibris.co.uk
€ 114,90
Bestellen
Details und Versand
gesponserter Link
Clote, Peter G (Editor), and Schwichtenberg, Helmut (Editor):
Computer Science Logic: 14th International Workshop, CSL 2000 Annual Conference of the Eacsl Fischbachau, Germany, August 21-26, 2000 Proceedings - Taschenbuch

2000, ISBN: 9783540678953

Trade paperback, New., Trade paperback (US). Glued binding. 550 p. Lecture Notes in Computer Science, 1862., Berlin, Heidelberg, [PU: Springer]

Versandkosten:zzgl. Versandkosten Sparks, NV, Alibris
zuklappen (X)
5
Bestellen
bei Biblio.co.uk
$ 9,24
(ca. € 8,67)
Versand: € 19,691
Bestellen
Details beim Anbieter
gesponserter Link
Editor-Peter G. Clote; Editor-Helmut Schwichtenberg:
Computer Science Logic: 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings (Lecture Notes in Computer Science) - Taschenbuch

2000, ISBN: 9783540678953

Springer, 2000-09-15. Paperback. Good., Springer, 2000-09-15, 2.5

Versandkosten: EUR 19.69 Ergodebooks
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: 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings Pete
Autor:
Titel:
ISBN-Nummer:

9783540678953


This book constitutes the refereed proceedings of the 13th International Workshop on Computer Science Logic, CSL 2000, held in Fischbachau, Germany as the 8th Annual Conference of the EACSL in August 2000. The 28 revised full papers presented together with eight invited papers were carefully reviewed and selected by the program committee. Among the topics covered are automated deduction, theorem proving, categorical logic, term rewriting, finite model theory, higher order logic, lambda and combinatory calculi, computational complexity, logic programing, constraints, linear logic, modal logic, temporal logic, model checking, formal specification, formal verification, program transformation, etc.

Detailangaben zum Buch - Computer Science Logic: 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings Pete


EAN (ISBN-13): 9783540678953
ISBN (ISBN-10): 3540678956
Taschenbuch
Erscheinungsjahr: 2000
Herausgeber: Springer Berlin Heidelberg Core >1
564 Seiten
Gewicht: 0,842 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-05-30T13:05:53+02:00 (Vienna)
Detailseite zuletzt geändert am 2024-03-21T15:58:28+01:00 (Vienna)
ISBN/EAN: 9783540678953

ISBN - alternative Schreibweisen:
3-540-67895-6, 978-3-540-67895-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: schwichtenberg, peter
Titel des Buches: logic computer science, 2000, how get all you want when germany, 14th international conference, august, lecture notes computer science, fischbachau, proceedings international workshop

Daten vom Verlag:

Autor/in: Peter G. Clote; Helmut Schwichtenberg
Titel: Lecture Notes in Computer Science; Computer Science Logic - 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings
Verlag: Springer; Springer Berlin
550 Seiten
Erscheinungsjahr: 2000-08-09
Berlin; Heidelberg; DE
Sprache: Englisch
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
Available
XIV, 550 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; Automat; Constraint; automated deduction; complexity; computer; formal specification; formal verification; logic; model checking; proving; theorem proving; verification; Artificial Intelligence; Compilers and Interpreters; Computer System Implementation; Formal Languages and Automata Theory; Computer Science Logic and Foundations of Programming; Mathematical Logic and Foundations; Compiler und Übersetzer; Systemanalyse und -design; Theoretische Informatik; Mathematik: Logik; Mathematische Grundlagen; EA

Invited Papers.- Background, Reserve, and Gandy Machines.- Choiceless Polynomial Time Computation and the Zero-One Law.- Composition and Submachine Concepts for Sequential ASMs.- Une tentative malheureuse de construire une structure éliminant rapidement les quanteurs.- Translating Theory into Practice — Abstract State Machines within Microsoft.- Choiceless Polynomial Time Logic: Inability to Express.- Schema Revisited.- Automated Verification = Graphs, Automata, and Logic.- Contributed Papers.- A Fully Complete PER Model for ML Polymorphic Types.- Subtyping with Power Types.- The Descriptive Complexity of the Fixed-Points of Bounded Formulas.- Hypersequents and the Proof Theory of Intuitionistic Fuzzy Logic.- Continuous Functionals of Dependent Types and Equilogical Spaces.- Definability over Linear Constraints.- Bounded Arithmetic and Descriptive Complexity.- Independence: Logics and Concurrency.- Flatness Is Not a Weakness.- Sequents, Frames, and Completeness.- Disjunctive Tautologies as Synchronisation Schemes.- Axiomatizing the Least Fixed Point Operation and Binary Supremum.- Interactive Programs in Dependent Type Theory.- Modal Satisfiability Is in Deterministic Linear Space.- Logic Programming and Co-inductive Definitions.- A Theory of Explicit Mathematics Equivalent to ID 1.- On the Complexity of Explicit Modal Logics.- Finite Models and Full Completeness.- On the Complexity of Combinatorial and Metafinite Generating Functions of Graph Properties in the Computational Model of Blum, Shub and Smale.- Elimination of Negation in a Logical Framework.- Discreet Games, Light Affine Logic and PTIME Computation.- Completeness of Higher-Order Duration Calculus.- Equational Termination by Semantic Labelling.- On the Computational Interpretation of Negation.- FromPrograms to Games: Invariance and Safety for Bisimulation.- Logical Relations and Data Abstraction.- Elementary Choiceless Constructive Analysis.- On the Logic of the Standard Proof Predicate.
Includes supplementary material: sn.pub/extras
< zum Archiv...