- 5 Ergebnisse
Kleinster Preis: € 11,74, größter Preis: € 54,99, Mittelwert: € 44,38
1
Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings Egon Börger Editor
Bestellen
bei BarnesandNoble.com
€ 54,99
Bestellengesponserter Link

Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings Egon Börger Editor - neues Buch

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…

new in stock. Versandkosten:zzgl. Versandkosten.
2
Computer Science Logic
Bestellen
bei Springer.com
€ 53,49
Versand: € 0,001
Bestellengesponserter Link
Computer Science Logic - neues Buch

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…

Nr. 978-3-540-55789-0. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00)
3
Bestellen
bei Biblio.co.uk
$ 51,79
(ca. € 48,21)
Versand: € 17,971
Bestellengesponserter Link
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) - 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 - Versandkosten: EUR 17.97 Thomas A Goldwasser Rare Books, GuthrieBooks
4
Computer Science Logic - Egon Börger/ Hans Kleine-Büning/ Michael M. Richter
Bestellen
bei Hugendubel.de
€ 53,49
Versand: € 0,001
Bestellengesponserter Link
Egon Börger/ Hans Kleine-Büning/ Michael M. Richter:
Computer Science Logic - Taschenbuch

ISBN: 9783540557890

*Computer Science Logic* - 5th Workshop CSL '91 Berne Switzerland October 7-11 1991. Proceedings. Auflage 1992 / Taschenbuch für 53.49 € / Aus dem Bereich: Bücher, Ratgeber, Computer & In… Mehr…

Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
5
Bestellen
bei Biblio.co.uk
$ 12,86
(ca. € 11,74)
Versand: € 19,181
Bestellengesponserter Link
Egon Börger (Editor), Gerhard Jäger (Editor), Hans Kleine Büning (Editor), Michael M. Richter (Editor):
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

Versandkosten: EUR 19.18 Ergodebooks

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

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 aseries of annual workshops on computer sciencelogic (thefirst four are recorded in LNCS volumes 329, 385, 440, and533).The volume contains 33 invited and selected papers on avariety of logical topics in computer science, includingabstract datatypes, bounded theories, complexity results,cut elimination, denotational semantics, infinitary queries,Kleene algebra with recursion, minimal proofs, normal formsin infinite-valued logic, ordinal processes, persistentPetri nets, plausibility logic, program synthesis systems,quantifier hierarchies, semantics of modularization, stablelogic, term rewriting systems, termination of logicprograms, transitive closure logic, variants of resolution,and many others.

Detailangaben zum Buch - Computer Science Logic


EAN (ISBN-13): 9783540557890
ISBN (ISBN-10): 354055789X
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1992
Herausgeber: Springer Berlin Heidelberg
440 Seiten
Gewicht: 0,661 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-05-14T14:11:47+02:00 (Vienna)
Detailseite zuletzt geändert am 2024-02-22T14:31:59+01:00 (Vienna)
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:
9783540301240 Computer Science Logic (Jerzy Marcinkowski)


< zum Archiv...