ISBN: 9783540557890
This volume presents the proceedings of the workshop CSL '91 (Computer Science Logic) held at the University of Berne, Switzerland, October 7-11, 1991. This was the fifth in a series of a… Mehr…
Springer.com Nr. 978-3-540-55789-0. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00) Details... |
Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings (Lecture Notes in Computer Science) - Taschenbuch
1991, ISBN: 9783540557890
[Munich: Goethe Institut, 1966. 104 p. (Munich Germany)/ Selected and commentated by Hans Richter. Designed by Vogel and Besemer, Cologne. illus., facsims., plates, ports. 21 x 22 cm. En… Mehr…
usa, usa | Biblio.co.uk |
Computer Science Logic 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings - neues Buch
1992, ISBN: 354055789X
1992 Kartoniert / Broschiert Algorithmus, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Mathematik, Mathematische Grundlagen, Algorithmen und Datenstrukturen, T… 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: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings (Lecture Notes in Computer Science) - Taschenbuch
1991, ISBN: 9783540557890
Springer, 1992-10-08. 1992. Paperback. Used:Good., Springer, 1992-10-08, 0
Biblio.co.uk |
1992, ISBN: 9783540557890
Taschenbuch
5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings, Buch, Softcover, 1992, [PU: Springer Berlin], Springer Berlin, 1992
lehmanns.de Versandkosten:Versand in 7-10 Tagen. (EUR 0.00) Details... |
ISBN: 9783540557890
This volume presents the proceedings of the workshop CSL '91 (Computer Science Logic) held at the University of Berne, Switzerland, October 7-11, 1991. This was the fifth in a series of a… Mehr…
Börger, Egon [Editor]; Jäger, Gerhard [Editor]; Kleine Büning, Hans [Editor]; Richter, Michael M. [Editor];:
Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings (Lecture Notes in Computer Science) - Taschenbuch1991, ISBN: 9783540557890
[Munich: Goethe Institut, 1966. 104 p. (Munich Germany)/ Selected and commentated by Hans Richter. Designed by Vogel and Besemer, Cologne. illus., facsims., plates, ports. 21 x 22 cm. En… Mehr…
Computer Science Logic 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings - neues Buch
1992
ISBN: 354055789X
1992 Kartoniert / Broschiert Algorithmus, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Mathematik, Mathematische Grundlagen, Algorithmen und Datenstrukturen, T… Mehr…
1992, ISBN: 9783540557890
Taschenbuch
5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings, Buch, Softcover, 1992, [PU: Springer Berlin], Springer Berlin, 1992
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Computer Science Logic
EAN (ISBN-13): 9783540557890
ISBN (ISBN-10): 354055789X
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1992
Herausgeber: Springer Berlin
440 Seiten
Gewicht: 0,661 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-05-14T14:11:47+02:00 (Zurich)
Detailseite zuletzt geändert am 2024-04-14T19:56:44+02:00 (Zurich)
ISBN/EAN: 9783540557890
ISBN - alternative Schreibweisen:
3-540-55789-X, 978-3-540-55789-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: egon börger, jaeger michael, michael jäger, gerhard richter, klein hans, egon jger, egon brger, kleine büning, ger hans, borger, boerger, bunin, richter will, rger, hans see, kleene
Titel des Buches: berne, logic computer science, october, hans richter, 626
Daten vom Verlag:
Autor/in: Egon Börger; Gerhard Jäger; Hans Kleine Büning; Michael M. Richter
Titel: Lecture Notes in Computer Science; Computer Science Logic - 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings
Verlag: Springer; Springer Berlin
431 Seiten
Erscheinungsjahr: 1992-09-10
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
VIII, 431 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Resolution; complexity; computer; computer science; logic; petri net; semantics; term rewriting; algorithm analysis and problem complexity; Theory of Computation; Mathematical Logic and Foundations; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Algorithms; Mathematik: Logik; Mathematische Grundlagen; Algorithmen und Datenstrukturen; EA
The expressive power of transitive closure and 2-way multihead automata.- Correctness proof for the WAM with types.- Model checking of persistent Petri nets.- Provability in TBLL: A decision procedure.- How to implement first order formulas in local memory machine models.- A new approach to abstract data types II computation on ADTs as ordinary computation.- A primitive recursive set theory and AFA: On the logical complexity of the largest bisimulation.- On bounded theories.- The cutting plane proof system with bounded degree of falsity.- Denotational versus declarative semantics for functional programming.- On transitive closure logic.- Some aspects of the probabilistic behavior of variants of resolution.- Safe queries in relational databases with functions.- Logical inference and polyhedral projection.- Stable logic.- A transformational methodology for proving termination of logic programs.- Plausibility logic.- Towards Kleene Algebra with recursion.- Equational specification of abstract types and combinators.- Normal forms in infinite-valued logic: The case of one variable.- A fragment of first order logic adequate for observation equivalence.- Ordinal processes in comparative concurrency semantics.- Logical semantics of modularisation.- A cut-elimination procedure designed for evaluating proofs as programs.- Minimal from classical proofs.- Quantifier hierarchies over word relations.- Complexity results for the default- and the autoepistemic logic.- On Completeness for NP via projection translations.- Control of ?-automata, Church's problem, and the emptiness problem for tree ?-automata.- Comparing the theory of representations and constructive mathematics.- Infinitary queries and their asymptotic probabilities I: Properties definable in transitive closure logic.-On completeness of program synthesis systems.- Proving termination for term rewriting systems.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783540472858 Computer Science Logic (Egon Börger; Gerhard Jäger; Hans Kleine Büning; Michael M. Richter)
- 9783540472858 Computer Science Logic (Egon Börger; Gerhard Jäger; Hans Kleine Büning; Michael M. Richter)
- 9783540301240 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)
- 9783540230243 Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceeding (Jerzy Marcinkowski)
- Computer Science Logic
< zum Archiv...