Theorem Proving in Higher Order Logics : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings - Livro de bolso
2005, ISBN: 3540283722
[EAN: 9783540283720], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], BEGRÜNDUNG / BEWEIS; INTELLIGENZ KÜNSTLICHE INTELLIGENZ; KI; - AI; LOGIK; PHILOSOPHIE COQ; ISABELLE; FORMALVERI… mais…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Custos de envio:Versandkostenfrei. (EUR 0.00) Details... |
2005, ISBN: 9783540283720
This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005), which was held during22-25August2005inOxford, UK. TPH… mais…
Indigo.ca new in stock. Custos de envio:zzgl. Versandkosten., mais custos de envio Details... |
2005, ISBN: 9783540283720
Editor: Hurd, Joe, Editor: Melham, Tom, Springer, Paperback, Auflage: 2005, 424 Seiten, Publiziert: 2005-08-08T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: Illustrations, 0.59 kg, Book… mais…
amazon.co.uk rbmbooks Gut Custos de envio:In stock. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 5.59) Details... |
2005, ISBN: 9783540283720
Livro de bolso
[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume constitutes t… mais…
booklooker.de |
Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings - Livro de bolso
2005, ISBN: 9783540283720
Paperback / softback. New. This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005), which was held during22-2… mais…
Biblio.co.uk |
Theorem Proving in Higher Order Logics : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings - Livro de bolso
2005, ISBN: 3540283722
[EAN: 9783540283720], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], BEGRÜNDUNG / BEWEIS; INTELLIGENZ KÜNSTLICHE INTELLIGENZ; KI; - AI; LOGIK; PHILOSOPHIE COQ; ISABELLE; FORMALVERI… mais…
2005, ISBN: 9783540283720
This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005), which was held during22-25August2005inOxford, UK. TPH… mais…
no/na amazon.co.uk
2005
ISBN: 9783540283720
Editor: Hurd, Joe, Editor: Melham, Tom, Springer, Paperback, Auflage: 2005, 424 Seiten, Publiziert: 2005-08-08T00:00:01Z, Produktgruppe: Book, Hersteller-Nr.: Illustrations, 0.59 kg, Book… mais…
2005, ISBN: 9783540283720
Livro de bolso
[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume constitutes t… mais…
no/na Biblio.co.uk
Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings - Livro de bolso
2005, ISBN: 9783540283720
Paperback / softback. New. This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005), which was held during22-2… mais…
Dados bibliográficos do melhor livro correspondente
Autor: | |
Título: | |
Número ISBN: |
Dados detalhados do livro - Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings: 3603 (Lecture Notes in Computer Science, 3603)
EAN (ISBN-13): 9783540283720
ISBN (ISBN-10): 3540283722
Livro de bolso
Ano de publicação: 2005
Editor/Editora: Springer
408 Páginas
Peso: 0,637 kg
Língua: eng/Englisch
Livro na base de dados desde 2007-05-29T00:49:51-03:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2023-07-03T15:48:01-03:00 (Sao Paulo)
Número ISBN/EAN: 9783540283720
Número ISBN - Ortografia alternativa:
3-540-28372-2, 978-3-540-28372-0
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: joe, paul wolfgang, wolfgang held
Título do livro: theoretical computer science, 2005, what logics mean, august, theorem proving, logic computer science
Dados da editora
Autor: Joe Hurd; Tom Melham
Título: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Theorem Proving in Higher Order Logics - 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
Editora: Springer; Springer Berlin
414 Páginas
Ano de publicação: 2005-08-08
Berlin; Heidelberg; DE
Língua: Inglês
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
X, 414 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Informatik; Coq; Isabelle; formal verification; logic; proof theory; proving; theorem proving; verification; Theory of Computation; Computer System Implementation; Formal Languages and Automata Theory; Computer Science Logic and Foundations of Programming; Software Engineering; Artificial Intelligence; Systemanalyse und -design; Software Engineering; Künstliche Intelligenz; EA
Invited Papers.- On the Correctness of Operating System Kernels.- Alpha-Structural Recursion and Induction.- Regular Papers.- Shallow Lazy Proofs.- Mechanized Metatheory for the Masses: The PoplMark Challenge.- A Structured Set of Higher-Order Problems.- Formal Modeling of a Slicing Algorithm for Java Event Spaces in PVS.- Proving Equalities in a Commutative Ring Done Right in Coq.- A HOL Theory of Euclidean Space.- A Design Structure for Higher Order Quotients.- Axiomatic Constructor Classes in Isabelle/HOLCF.- Meta Reasoning in ACL2.- Reasoning About Java Programs with Aliasing and Frame Conditions.- Real Number Calculations and Theorem Proving.- Verifying a Secure Information Flow Analyzer.- Proving Bounds for Real Linear Programs in Isabelle/HOL.- Essential Incompleteness of Arithmetic Verified by Coq.- Verification of BDD Normalization.- Extensionality in the Calculus of Constructions.- A Mechanically Verified, Sound and Complete Theorem Prover for First Order Logic.- A Generic Network on Chip Model.- Formal Verification of a SHA-1 Circuit Core Using ACL2.- From PSL to LTL: A Formal Validation in HOL.- Proof Pearls.- Proof Pearl: A Formal Proof of Higman’s Lemma in ACL2.- Proof Pearl: Dijkstra’s Shortest Path Algorithm Verified with ACL2.- Proof Pearl: Defining Functions over Finite Sets.- Proof Pearl: Using Combinators to Manipulate let-Expressions in Proof.Outros livros adicionais, que poderiam ser muito similares com este livro:
Último livro semelhante:
9783030036485 Smart Health by Hsinchun Chen Paperback | Indigo Chapters (Hsinchun Chen; Qing Fang; Daniel Zeng; Jiang Wu)
- 9783030036485 Smart Health by Hsinchun Chen Paperback | Indigo Chapters (Hsinchun Chen; Qing Fang; Daniel Zeng; Jiang Wu)
- 9783540473961 Ada: The Choice for '92 (Dimitris Christodoulakis)
- 9780387540924 ADA: the Choice for '92: Ada-Europe International Conference Athens, Greece, May 13-17, 1991 Proceedings (Lecture Notes in Computer Science 499) (Christodoulakis, Dimitrios (ed.))
- 9783540540922 Ada: The Choice for '92: Ada-Europe International Conference Athens, Greece, May 13-17, 1991 Dimitris Christodoulakis Editor (Dimitris Christodoulakis)
< Para arquivar...