- 5 Ergebnisse
Kleinster Preis: € 111,22, größter Preis: € 144,97, Mittelwert: € 123,12
1
Bestellen
bei Indigo.ca
C$ 193,95
(ca. € 134,75)
Bestellengesponserter Link

Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers - neues Buch

ISBN: 9783540600176

This volume contains revised refereed versions of the best papers presented during the CSL ''94 conference, held in Kazimierz, Poland in September 1994; CSL ''94 is the eighth event in th… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten.
2
Computer Science Logic
Bestellen
bei Orellfuessli.ch
CHF 154,00
(ca. € 144,97)
Versand: € 16,941
Bestellengesponserter Link
Computer Science Logic - Taschenbuch

1995, ISBN: 9783540600176

This volume contains revised refereed versions of the best papers presented during the CSL '94 conference, held in Kazimierz, Poland in September 1994; CSL '94 is the eighth event in the … Mehr…

Nr. 3181747. Versandkosten:, Versandfertig innert 4 - 7 Werktagen, zzgl. Versandkosten. (EUR 16.94)
3
Computer Science Logic 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers - Tiuryn, Jerzy (Herausgeber); Pacholski, Leszek (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 111,22
Versand: € 0,001
Bestellengesponserter Link
Tiuryn, Jerzy (Herausgeber); Pacholski, Leszek (Herausgeber):
Computer Science Logic 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers - neues Buch

1995

ISBN: 3540600175

1995 Kartoniert / Broschiert EDV / Theorie / Allgemeines, Logik, Philosophie / Logik, Mathematische Grundlagen, Compiler und Übersetzer, Theoretische Informatik, Künstliche Intelligenz,… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
4
Computer Science Logic - Leszek Pacholski; Jerzy Tiuryn
Bestellen
bei lehmanns.de
€ 112,34
Versand: € 0,001
Bestellengesponserter Link
Leszek Pacholski; Jerzy Tiuryn:
Computer Science Logic - Taschenbuch

1995, ISBN: 9783540600176

8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers, Buch, Softcover, 1995, [PU: Springer Berlin], Springer Berlin, 1995

Versandkosten:Versand in 10-14 Tagen. (EUR 0.00)
5
Computer Science Logic - Leszek Pacholski; Jerzy Tiuryn
Bestellen
bei lehmanns.de
€ 112,34
Versand: € 0,001
Bestellengesponserter Link
Leszek Pacholski; Jerzy Tiuryn:
Computer Science Logic - Taschenbuch

1995, ISBN: 9783540600176

8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers, 1995, Softcover, Buch, [PU: Springer Berlin]

Versandkosten:Versand in 7-9 Tagen, , Versandkostenfrei innerhalb der BRD. (EUR 0.00)

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: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers

This volume contains revised refereed versions of the best papers presented during the CSL '94 conference, held in Kazimierz, Poland in September 1994; CSL '94 is the eighth event in the series of workshops held for the third time as the Annual Conference of the European Association for Computer Science Logic.The 38 papers presented were selected from a total of 151 submissions. All important aspects of the methods of mathematical logic in computer science are addressed: lambda calculus, proof theory, finite model theory, logic programming, semantics, category theory, and other logical systems. Together, these papers give a representative snapshot of the area of logical foundations of computer science.

Detailangaben zum Buch - Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers


EAN (ISBN-13): 9783540600176
ISBN (ISBN-10): 3540600175
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1995
Herausgeber: Springer Berlin
564 Seiten
Gewicht: 0,842 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-03-10T01:16:49+01:00 (Zurich)
Detailseite zuletzt geändert am 2023-12-02T15:34:34+01:00 (Zurich)
ISBN/EAN: 9783540600176

ISBN - alternative Schreibweisen:
3-540-60017-5, 978-3-540-60017-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: jerzy, kazimierz
Titel des Buches: lec, workshop 1994, logic, lecture notes computer science, 933


Daten vom Verlag:

Autor/in: Leszek Pacholski; Jerzy Tiuryn
Titel: Lecture Notes in Computer Science; Computer Science Logic - 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers
Verlag: Springer; Springer Berlin
553 Seiten
Erscheinungsjahr: 1995-07-18
Berlin; Heidelberg; DE
Gedruckt / Hergestellt in Deutschland.
Gewicht: 1,740 kg
Sprache: Englisch
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
POD
XI, 553 p.

BC; Theory of Computation; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; lambda calculus; logic; mathematical logic; model theory; programming; proof theory; semantics; Programming Languages, Compilers, Interpreters; Mathematical Logic and Foundations; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Artificial Intelligence; Theory of Computation; Compilers and Interpreters; Mathematical Logic and Foundations; Formal Languages and Automata Theory; Computer Science Logic and Foundations of Programming; Artificial Intelligence; Compiler und Übersetzer; Mathematik: Logik; Mathematische Grundlagen; Künstliche Intelligenz; EA

Subtyping with singleton types.- A subtyping for the Fisher-Honsell-Mitchell lambda calculus of objects.- The Girard Translation extended with recursion.- Decidability of higher-order subtyping with intersection types.- A ?-calculus structure isomorphic to Gentzen-style sequent calculus structure.- Usability: formalising (un)definedness in typed lambda calculus.- Lambda representation of operations between different term algebras.- Semi-unification and generalizations of a particularly simple form.- A mixed linear and non-linear logic: Proofs, terms and models.- Cut free formalization of logic with finitely many variables. Part I..- How to lie without being (easily) convicted and the lengths of proofs in propositional calculus.- Monadic second-order logic and linear orderings of finite structures.- First-order spectra with one binary predicate.- Monadic logical definability of NP-complete problems.- Logics for context-free languages.- Log-approximable minimization problems on random inputs.- Convergence and 0–1 laws for L ?,? k under arbitrary measures.- Is first order contained in an initial segment of PTIME?.- Logic programming in Tau Categories.- Reasoning and rewriting with set-relations I: Ground completeness.- Resolution games and non-liftable resolution orderings.- On existential theories of list concatenation.- Completeness of resolution for definite answers with case analysis.- Subrecursion as a basis for a feasible programming language.- A sound metalogical semantics for input/output effects.- An intuitionistic modal logic with applications to the formal verification of hardware.- Towards machine-checked compiler correctness for higher-order pure functional languages.- Powerdomains, powerstructures and fairness.- Canonical forms for data-specifications.- An algebraic view of structural induction.- On the interpretation of type theory in locally cartesian closed categories.- Algorithmic aspects of propositional tense logics.- Stratified default theories.- A homomorphism concept for ?-regularity.- Ramified recurrence and computational complexity II: Substitution and poly-space.- General form recursive equations I.- Modal logics preserving admissible for S4 inference rules.- A bounded set theory with Anti-Foundation Axiom and inductive definability.

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9783540301240 Computer Science Logic (Jerzy Marcinkowski)


< zum Archiv...