- 5 Ergebnisse
Kleinster Preis: € 53,49, größter Preis: € 106,99, Mittelwert: € 71,81
1
Computer Science Logic : 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers - Wolfgang Thomas
Bestellen
bei ZVAB.com
CHF 52,08
(ca. € 54,00)
Versand: € 18,401
Bestellen
Details beim Anbieter
gesponserter Link
Wolfgang Thomas:

Computer Science Logic : 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers - Taschenbuch

1998, ISBN: 3540645705

[EAN: 9783540645702], Neubuch, [SC: 18.4], [PU: Springer Berlin Heidelberg], EDV / THEORIE ALLGEMEINES; LOGIKPROGRAMMIERUNG; AUTOMAT; RACTER; RESOLUTION; AUTOMATA; COMPLEXITY; EVOLUTION; … Mehr…

NEW BOOK. Versandkosten: EUR 18.40 AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
zuklappen (X)
2
Computer Science Logic 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers - Thomas, Wolfgang (Herausgeber); Nielsen, Mogens (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 55,60
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Thomas, Wolfgang (Herausgeber); Nielsen, Mogens (Herausgeber):

Computer Science Logic 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers - neues Buch

1998, ISBN: 3540645705

1998 Kartoniert / Broschiert EDV / Theorie / Allgemeines, Logikprogrammierung, Mathematische Grundlagen, Theoretische Informatik, Systemanalyse und -design, Künstliche Intelligenz, Auto… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
3
Computer Science Logic - Nielsen, Mogens Thomas, Wolfram
Bestellen
bei booklooker.de
€ 88,95
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Nielsen, Mogens Thomas, Wolfram:
Computer Science Logic - Erstausgabe

1998

ISBN: 9783540645702

Taschenbuch

[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
zuklappen (X)
4
Computer Science Logic - Mogens Nielsen/ Wolfram Thomas
Bestellen
bei Hugendubel.de
€ 106,99
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Mogens Nielsen/ Wolfram Thomas:
Computer Science Logic - Taschenbuch

ISBN: 9783540645702

Computer Science Logic ab 106.99 € als Taschenbuch: 11th International Workshop CSL'97 Annual Conference of the EACSL Aarhus Denmark August 23-29 1997 Selected Papers. Auflage 1998. Aus d… Mehr…

Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
zuklappen (X)
5
Computer Science Logic - Mogens Nielsen/ Wolfram Thomas
Bestellen
bei Hugendubel.de
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Mogens Nielsen/ Wolfram Thomas:
Computer Science Logic - Taschenbuch

ISBN: 9783540645702

*Computer Science Logic* - 11th International Workshop CSL'97 Annual Conference of the EACSL Aarhus Denmark August 23-29 1997 Selected Papers. Auflage 1998 / Taschenbuch für 53.49 € / Aus… Mehr…

Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
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
Autor:
Titel:
ISBN-Nummer:

9783540645702


This book constitutes the strictly refereed post-workshop proceedings of the 11th International Workshop on Computer Science Logic, CSL '97, held as the 1997 Annual Conference of the European Association on Computer Science Logic, EACSL, in Aarhus, Denmark, in August 1997.The volume presents 26 revised full papers selected after two rounds of refereeing from initially 92 submissions; also included are four invited papers. The book addresses all current aspects of computer science logics and its applications and thus presents the state of the art in the area.

Detailangaben zum Buch - Computer Science Logic


EAN (ISBN-13): 9783540645702
ISBN (ISBN-10): 3540645705
Taschenbuch
Erscheinungsjahr: 1998
Herausgeber: Springer Berlin Heidelberg
528 Seiten
Gewicht: 0,789 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-09-11T03:41:43+02:00 (Vienna)
Detailseite zuletzt geändert am 2024-02-22T18:55:12+01:00 (Vienna)
ISBN/EAN: 9783540645702

ISBN - alternative Schreibweisen:
3-540-64570-5, 978-3-540-64570-2
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: wolfram, nielsen, mogens, wolfgang thomas, wolf, and thomas
Titel des Buches: logic, aarhus, denmark, international 1997, international conference computer science, 1414, august 1997, lecture notes computer science, annual

Daten vom Verlag:

Autor/in: Mogens Nielsen; Wolfgang Thomas
Titel: Lecture Notes in Computer Science; Computer Science Logic - 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers
Verlag: Springer; Springer Berlin
520 Seiten
Erscheinungsjahr: 1998-05-20
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
VIII, 520 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; Automat; Racter; Resolution; automata; complexity; computer; evolution; lambda calculus; logic; pigeonhole principle; programming; semantics; simulation; Artificial Intelligence; Computer System Implementation; Formal Languages and Automata Theory; Computer Science Logic and Foundations of Programming; Mathematical Logic and Foundations; Systemanalyse und -design; Theoretische Informatik; Mathematik: Logik; Mathematische Grundlagen; EA

Call-by-value games.- LISA: A specification language based on WS2S.- Evolution as a computational engine.- Timeless games.- From action calculi to linear logic.- A sequent calculus for circumscription.- Linear lower bounds and simulations in frege systems with substitutions.- A formulation of linear logic based on dependency-relations.- Resolution and the weak pigeonhole principle.- Higher-order matching and tree automata.- A proof-theoretical investigation of Zantema's problem.- Spectra with only unary function symbols.- Classical proofs via basic logic.- Canonization for Lk-equivalence is Hard.- Full abstractness for a functional/concurrent language with higher-order value-passing.- A duality theory for quantitative semantics.- A mixed modal/linear lambda calculus with applications to bellantoni-cook safe recursion.- Equational axioms of test algebra.- Mona & Fido: The logic-automaton connection in practice.- Existence of reduction hierarchies.- A game-theoretic, concurrent and fair model of the typed ?-calculus, with full recursion.- A conjunctive logical characterization of nondeterministic linear time.- On the computational complexity of type 2 functionals.- Categories with algebraic structure.- Concurrent constraint programming and non-commutative logic.- A hierarchical approach to monadic second-order logic over graphs.- The monadic quantifier alternation hierarchy over grids and pictures.- Padding and the expressive power of existential second-order logics.- Rich ?-words and monadic second-order arithmetic.- A simple ordinal recursive normalization of Gödel's T.
< zum Archiv...