Computer Science Logic 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers - neues Buch
1997, ISBN: 3540631720
1997 Kartoniert / Broschiert Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Systemanalyse und -design, Künstliche Intelligenz, ience formal FormaleLogiken; Infor… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Computer Science Logic: 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers (Lecture Notes in Computer Science) - Taschenbuch
1996, ISBN: 9783540631729
Springer, 1997-07-24. Paperback. Very Good. 9x6x1. Ex-library paperback in nice condition with the usual markings and attachments. Except for library markings, interior clean and unmark… Mehr…
Biblio.co.uk |
Computer Science Logic: 10th International Workshop, Csl '96, Annual Conference of the Eacsl, Utrecht, the Netherlands, September 21-27, 1996, Selected Papers (Lecture Notes in Computer Science) - Taschenbuch
1997, ISBN: 9783540631729
Paperback, Tweedehands, zeer goed, Size: 9x6x1; Ex-library paperback in nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. T… Mehr…
alibris.co.uk |
Computer Science Logic: 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers - Taschenbuch
ISBN: 9783540631729
Paperback / softback. New. Representing the post-workshop proceedings of the 10th International Workshop on Computer Science Logic held in 1996, this volume comprises 26 revised full pap… Mehr…
Biblio.co.uk |
computer-science-logic--10th-international-workshop--csl-96--annual-conference-of-the-eacsl---- - Taschenbuch
2007, ISBN: 9783540631729
FisicalBook, Taschenbuch, Publiziert: 2007T, Produktgruppe: Buch, Kategorien, Bücher, Taschenbücher, FisicalBook, 2007
amazon.de preigu Versandkosten:Gewöhnlich versandfertig in 4 bis 5 Tagen. De verzendkosten kunnen afwijken van de werkelijke kosten. (EUR 3.00) Details... |
Computer Science Logic 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers - neues Buch
1997, ISBN: 3540631720
1997 Kartoniert / Broschiert Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Systemanalyse und -design, Künstliche Intelligenz, ience formal FormaleLogiken; Infor… Mehr…
Dalen, Dirk van [Editor]; Bezem, Marc [Editor];:
Computer Science Logic: 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers (Lecture Notes in Computer Science) - Taschenbuch1996, ISBN: 9783540631729
Springer, 1997-07-24. Paperback. Very Good. 9x6x1. Ex-library paperback in nice condition with the usual markings and attachments. Except for library markings, interior clean and unmark… Mehr…
Computer Science Logic: 10th International Workshop, Csl '96, Annual Conference of the Eacsl, Utrecht, the Netherlands, September 21-27, 1996, Selected Papers (Lecture Notes in Computer Science) - Taschenbuch
1997
ISBN: 9783540631729
Paperback, Tweedehands, zeer goed, Size: 9x6x1; Ex-library paperback in nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. T… Mehr…
Computer Science Logic: 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers - Taschenbuch
ISBN: 9783540631729
Paperback / softback. New. Representing the post-workshop proceedings of the 10th International Workshop on Computer Science Logic held in 1996, this volume comprises 26 revised full pap… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - computer-science-logic--10th-international-workshop--csl-96--annual-conference-of-the-eacsl----
EAN (ISBN-13): 9783540631729
ISBN (ISBN-10): 3540631720
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1997
Herausgeber: FisicalBook
488 Seiten
Gewicht: 0,731 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-05-30T13:27:49+02:00 (Vienna)
Detailseite zuletzt geändert am 2023-10-26T17:06:21+02:00 (Vienna)
ISBN/EAN: 9783540631729
ISBN - alternative Schreibweisen:
3-540-63172-0, 978-3-540-63172-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: van dalen dirk, bezemer
Titel des Buches: logic computer science, international conference computer science, utrecht
Daten vom Verlag:
Autor/in: Dirk van Dalen; Marc Bezem
Titel: Lecture Notes in Computer Science; Computer Science Logic - 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, Selected Papers
Verlag: Springer; Springer Berlin
479 Seiten
Erscheinungsjahr: 1997-06-18
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
IX, 479 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Systemanalyse und -design; Verstehen; Computer Science logics; Formal Logics; Formale Logiken; Informatiklogiken; Programmierlogiken; Programming Logics; Term Rewriting; Type Systems; Typensysteme; computer; logic; Computer System Implementation; Theory of Computation; Formal Languages and Automata Theory; Artificial Intelligence; Computer Science Logic and Foundations of Programming; Theoretische Informatik; Künstliche Intelligenz; EA
Four-valued diagnoses for stratified knowledge-bases.- Fast cut-elimination by projection.- On the subject reduction property for algebraic type systems.- Presheaf models for concurrency.- Directed virtual reductions.- Bounded-variable fixpoint queries are PSPACE-complete.- Graph rewriting semantics for functional programming languages.- An extension of models of Axiomatic Domain Theory to models of Synthetic Domain Theory.- Relative undecidability in term rewriting.- Extending models of second order predicate logic to models of second order dependent type theory.- Eta-expansions in F ?.- Cut-free display calculi for relation algebras.- Computational aspects of arity hierarchies.- Weak semantics based on lighted button pressing experiments.- Kleene algebra with tests: Completeness and decidability.- Monadic NP and built-in trees.- Coercive subtyping in type theory.- Proofs in system F ? can be done in system F ? 1 .- Optimization problems with approximation schemes.- Computational representations of herbrand models using grammars.- Exact pairs for abstract bounded reducibilities.- The logic of explicitly presentation-invariant circuits.- Social confluence in client-server systems.- A type-free resource-aware ?-calculus.- Inductive definitions with decidable atomic formulas.- Call-by-Value, call-by-name and the logic of values.- On Cartesian monoids.- New intuitionistic logical constants: Undecidability of the conservativeness problem.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9780471903093 International Conference on Data Bases: 2nd: Proceedings (The British Computer Society workshop series) (Editor-S.M. Deen; Editor-P. Hammersley)
- 9780471903093 International Conference on Data Bases: 2nd: Proceedings (The British Computer Society workshop series) (Editor-S.M. Deen; Editor-P. Hammersley)
- 9783540318972 Computer Science Logic als eBook Download von (Luke Ong)
- 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)
- 9783540749158 Computer Science Logic (Jacques Duparc; Thomas A. Henzinger)
- Foliations 2012 - Proceedings Of The International Conference: Proceedings of the International Conference ?ód?, Poland, 25 - 30 June 2012 (English Edition) (ALVAREZ LOPEZ JESUS ET AL)
< zum Archiv...