- 5 Risultati
prezzo più basso: € 9,82, prezzo più alto: € 53,49, prezzo medio: € 33,31
1
Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings: 897 (Lecture Notes in Computer Science, 897)
Ordina
da amazon.co.uk
£ 30,56
(indicativi € 35,72)
Spedizione: € 5,611
OrdinaLink sponsorizzato

Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings: 897 (Lecture Notes in Computer Science, 897) - edizione con copertina flessibile

1995, ISBN: 9783540613770

Editor: Fisher, Michael, Editor: Owens, Richard, Springer, Paperback, Auflage: 1995, 196 Seiten, Publiziert: 1995-02-17T00:00:01Z, Produktgruppe: Book, 0.28 kg, Books Global Store, Specia… Altro …

Costi di spedizione:Usually dispatched within 3 to 4 days. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.61) SerendipityBooksLtd
2
Computer Science Logic
Ordina
da Springer.com
€ 53,49
Spedizione: € 0,001
OrdinaLink sponsorizzato
Computer Science Logic - nuovo libro

ISBN: 9783540613770

This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference of the European Association for Computer Science Logic, CSL '95, held in Paderborn, Ger… Altro …

Nr. 978-3-540-61377-0. Costi di spedizione:Worldwide free shipping, , DE. (EUR 0.00)
3
Computer Science Logic: 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 Selected Papers - Buning, Hans Kleine
Ordina
da AbeBooks.de
€ 14,02
Spedizione: € 38,121
OrdinaLink sponsorizzato
Buning, Hans Kleine:
Computer Science Logic: 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 Selected Papers - copertina rigida, flessible

1996

ISBN: 3540613773

[EAN: 9783540613770], Gebraucht, sehr guter Zustand, [PU: Springer Verlag, New York], LOGIC SYMBOLIC MATHEMATICAL COMPUTER SCIENCE, Hardcover 1996 library bound edition. Ex-library book w… Altro …

NOT NEW BOOK. Costi di spedizione: EUR 38.12 Doss-Haus Books, Redondo Beach, CA, U.S.A. [3065593] [Rating: 5 (von 5)]
4
Computer Science Logic - Hans Kleine-Büning
Ordina
da Hugendubel.de
€ 53,49
Spedizione: € 0,001
OrdinaLink sponsorizzato
Hans Kleine-Büning:
Computer Science Logic - edizione con copertina flessibile

ISBN: 9783540613770

*Computer Science Logic* - 9th International Workshop CSl '95 Annual Conference of the EACSL Paderborn Germany September 22-29 1995. Selected Papers. Auflage 1996 / Taschenbuch für 53.49 … Altro …

Costi di spedizione:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
5
Ordina
da Biblio.co.uk
$ 10,82
(indicativi € 9,82)
Spedizione: € 17,041
OrdinaLink sponsorizzato
Kleine Buening, Hans [Editor]:
Computer Science Logic: 9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected Papers (Lecture Notes in Computer Science) - edizione con copertina flessibile

1995, ISBN: 9783540613770

Springer, 1996-06-26. Paperback. Very Good. Ex-library paperback in very nice condition with the usual markings and attachments., Springer, 1996-06-26, 3

Costi di spedizione: EUR 17.04 GuthrieBooks

1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
Computer Science Logic

This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference of the European Association for Computer Science Logic, CSL '95, held in Paderborn, Germany, in September 1995.The 27 revised full papers included were selected after two rounds of reviewing from a total of 74 submissions for presentation at the conference and present the state-of-the-art in the area. Among the topics addressed are temporal logics, rewriting systems, deduction, theorem proving, process algebra, linear logics, proof theory, formal languages, and others.

Informazioni dettagliate del libro - Computer Science Logic


EAN (ISBN-13): 9783540613770
ISBN (ISBN-10): 3540613773
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 1996
Editore: Springer Berlin Heidelberg
487 Pagine
Peso: 0,754 kg

Libro nella banca dati dal 2007-05-29T12:49:59+02:00 (Rome)
Pagina di dettaglio ultima modifica in 2024-04-16T22:10:59+02:00 (Rome)
ISBN/EAN: 3540613773

ISBN - Stili di scrittura alternativi:
3-540-61377-3, 978-3-540-61377-0
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : buning, klein hans, kleine büning, fisher, richard owen
Titolo del libro: selected papers, annual, csi, michaels kloster paderborn, international conference computer science, riphahn, modal logic, germany, workshop


Dati dell'editore

Autore: Hans Kleine Buening
Titolo: Lecture Notes in Computer Science; Computer Science Logic - 9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected Papers
Editore: Springer; Springer Berlin
492 Pagine
Anno di pubblicazione: 1996-06-05
Berlin; Heidelberg; DE
Stampato / Fatto in
Peso: 1,540 kg
Lingua: Inglese
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
VIII, 492 p.

BC; Theory of Computation; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; computer; formal language; logic; proof theory; proving; selection; theorem proving; Programming Languages, Compilers, Interpreters; Computer System Implementation; Mathematical Logic and Formal Languages; Artificial Intelligence; Logics and Meanings of Programs; Theory of Computation; Compilers and Interpreters; Computer System Implementation; Formal Languages and Automata Theory; Artificial Intelligence; Computer Science Logic and Foundations of Programming; Compiler und Übersetzer; Systemanalyse und -design; Künstliche Intelligenz; EA

Incompleteness of a first-order gödel logic and some temporal logics of programs.- Semantics of non-terminating rewrite systems using minimal coverings.- Congruence Types.- Deduction by combining semantic tableaux and integer programming.- leanEA: A lean evolving algebra compiler.- A proof system for finite trees.- Representing unification in a logical framework.- Decision procedures using model building techniques.- A note on the relation between polynomial time functionals and Constable's class K.- First order logic, fixed point logic and linear order.- Simultaneous rigid E-unification is undecidable.- An evolving algebra abstract machine.- Rewriting with extensional polymorphic ?-calculus.- Languages and logical definability in concurrency monoids.- Generalized implicit definitions on finite structures.- The railroad crossing problem: An experiment with instantaneous actions and immediate reactions.- A logical aspect of parametric polymorphism.- On the modal logic K plus theories.- Improved decision procedures for the modal logics K, T and S4.- A fully abstract denotational model for observational precongruence.- On sharply bounded length induction.- Effective strategies for enumeration games.- Bounded fixed-point definability and tabular recognition of languages.- Equivalences among various logical frameworks of partial algebras.- Some extensions to propositional mean-value calculus: Expressiveness and decidability.- Theorem proving modulo associativity.- Positive deduction modulo regular theories.

< Per archiviare...