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… mais…
amazon.co.uk SerendipityBooksLtd Custos de envio:Usually dispatched within 3 to 4 days. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.61) Details... |
Computer Science Logic: 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 Selected Papers - encadernada, livro de bolso
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… mais…
AbeBooks.de Doss-Haus Books, Redondo Beach, CA, U.S.A. [3065593] [Rating: 5 (von 5)] NOT NEW BOOK. Custos de envio: EUR 38.12 Details... |
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, 1092, Band 1092) - Livro de bolso
1996, ISBN: 3540613773
[EAN: 9783540613770], Gebraucht, sehr guter Zustand, [SC: 2.9], [PU: Springer], 504 Seiten Von 1996. Innerhalb Deutschlands Versand je nach Größe/Gewicht als Großbrief bzw. Bücher- und Wa… mais…
ZVAB.com Gerald Wollermann, Bad Vilbel, Germany [56128708] [Rating: 5 (von 5)] NOT NEW BOOK. Custos de envio: EUR 2.90 Details... |
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 … mais…
Hugendubel.de Custos de envio:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
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) - Livro de bolso
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
Biblio.co.uk |
no/na amazon.co.uk
Executable Modal and Temporal Logics: IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings: 897 (Lecture Notes in Computer Science, 897) - Livro de bolso
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… mais…
Buning, Hans Kleine:
Computer Science Logic: 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 Selected Papers - encadernada, livro de bolso1996, 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… mais…
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, 1092, Band 1092) - Livro de bolso
1996
ISBN: 3540613773
[EAN: 9783540613770], Gebraucht, sehr guter Zustand, [SC: 2.9], [PU: Springer], 504 Seiten Von 1996. Innerhalb Deutschlands Versand je nach Größe/Gewicht als Großbrief bzw. Bücher- und Wa… mais…
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 … mais…
no/na Biblio.co.uk
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) - Livro de bolso
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
Dados bibliográficos do melhor livro correspondente
Autor: | |
Título: | |
Número ISBN: |
Dados detalhados do livro - Computer Science Logic
EAN (ISBN-13): 9783540613770
ISBN (ISBN-10): 3540613773
Livro de capa dura
Livro de bolso
Ano de publicação: 1996
Editor/Editora: Springer Berlin Heidelberg
487 Páginas
Peso: 0,754 kg
Livro na base de dados desde 2007-05-29T07:49:59-03:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2023-12-26T11:55:05-03:00 (Sao Paulo)
Número ISBN/EAN: 3540613773
Número ISBN - Ortografia alternativa:
3-540-61377-3, 978-3-540-61377-0
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: buning, klein hans, kleine büning, fisher, richard owen
Título do livro: selected papers, annual, csi, michaels kloster paderborn, international conference computer science, riphahn, modal logic, germany, workshop
Dados da editora
Autor: Hans Kleine Buening
Título: 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
Editora: Springer; Springer Berlin
492 Páginas
Ano de publicação: 1996-06-05
Berlin; Heidelberg; DE
Impresso / Feito em
Peso: 1,540 kg
Língua: Inglês
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.Outros livros adicionais, que poderiam ser muito similares com este livro:
Último livro semelhante:
9783540230243 Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceeding (Jerzy Marcinkowski)
- 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
- Proceedings of the 14th International Computer Music Conference Cologne, September 20-25, 1988 (Boja?czyk (auth.), Miko?aj, Grädel, Erich, Kahle (eds.), Reinhard)
< Para arquivar...