Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente
0
Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 €
phone Contacto phoneComo comprar

Computational Logic and Set Theory

Applying Formalized Logic to Analysis

Língua InglêsInglês
Livro Capa mole
Livro Computational Logic and Set Theory Eugenio G Omodeo
Código Libristo: 09060410
Editoras Springer London Ltd, setembro 2014
This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and... Descrição completa
? points 109 b
44.90 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Zahnärztliche Implantologie Soniya Gurjar / Livro Capa mole
common.buy 34.59 €
La Biodiversite Faunistique Des Dunes Littorales Rachidi-F / Livro Capa mole
common.buy 28.31 €
Solunum Sistemi Joseph Midthun / Livro Capa mole
common.buy 11.83 €
Edén Stanislaw Lem / Livro Capa mole
common.buy 14.66 €
Skepse, a.s. Bo Fowler / Livro Livro de capa dura
common.buy 0.90 €
GLOBE 30 CM INCLINE ARGENT CARTO BLANCHE POLITIQUE Livro binding.
common.buy 62.10 €
GoGo Kluk z internetu Štrauch Daniel GoGo / Livro Capa mole
common.buy 4.04 €
società segreta delle Bambine Ribelli. La lettera di Cleopatra Marti Dumas / Livro Livro de capa dura
common.buy 15.57 €
Tandem - Maths CP - Fichier de l'élève + Cahier de géométrie Carole Cortay / Livro Capa mole
common.buy 12.94 €
Solitéry Vasilij Vasilievič Rozanov / Livro Capa mole
common.buy 4.54 €
Dark World 1 & 2, 2 DVDs Aleksand Dorbinian / Vídeo DVD
common.buy 20.73 €
Tratado de Psiquiatr­a. Tomo I R2003 GELDER / Livro Livro
common.buy 155.06 €
Pilze und Flechten ? Morphologie, Systematik, Bestimmung Andreas Bresinsky / Livro Livro de capa dura
common.buy 58.76 €
Georges Franju - Une esthétique de la destabilisation Gérard Leblanc / Livro Capa mole
common.buy 16.48 €
La splendeur escamotée de frère Cheval ou le secret des grottes ornées Jean Rouaud / Livro Capa mole
common.buy 20.83 €
Piranhas Saviano / Livro Capa mole
common.buy 11.32 €
... wenn ihr die schöne Nachbarin gefällt Sina Kani / Livro Capa mole
common.buy 13.54 €
Henosis Eric Schaefer / Áudio CD de áudio
common.buy 8.89 €
Principal
Klíčem je klid Ryan Holiday / Livro Livro de capa dura
common.buy 9.60 €
Valores organizacionais na administracao de uma Universidade Federal Pinto Neto Benjamim / Livro Capa mole
common.buy 50.48 €
Schnauze, die Nikoläuse sind los Annette Swoboda / Livro Capa mole
common.buy 6.46 €
Gesetz über die Errichtung einer Otto-von-Bismarck-Stiftung Antiphon Verlag / Livro Folha
common.buy 6.46 €

This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and set theory and its application to proof verification techniques. Covers the AetnaNova system, a program built to verify the correctness of mathematical proofs.

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
Ewa Kasp
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Computational Logic and Set Theory
Autor Eugenio G Omodeo
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2014
Número de páginas 416
EAN 9781447160182
ISBN 9781447160182
Código Libristo 09060410
Editoras Springer London Ltd
Peso 659
Dimensões 155 x 23 x 24

Categorias

Informática & tecnologia da informação > Ciência informática > Interação homem-computador > Conceção e utilizabilidade do interface com o utilizador
Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Engineering Theories of Software Intensive Systems Manfred Broy / Livro Livro de capa dura
common.buy 195.93 €
Handbook of Separation Process Technology Ronald W. Rousseau / Livro Livro de capa dura
common.buy 489.79 €
More Vintage Christmas Angels: A Grayscale Adult Coloring Book Vicki Becker / Livro Capa mole
common.buy 7.27 €
Japanese Democracy and Lessons for the United States Ray Christensen / Livro Livro de capa dura
common.buy 163.16 €
Optimization Models and Methods for Equilibrium Traffic Assignment Alexander Krylatov / Livro Livro de capa dura
common.buy 155.97 €
Grace Abounding to the Chief of Sinners John Bunyan / Livro Capa mole
common.buy 13.65 €
Principal
Rising Of The Shield Hero Volume 09: The Manga Companion Aneko Yusagi / Livro Capa mole
common.buy 8.89 €
ACT for Dividing and Inclosing the Common Fields, and Common Pasture, Common Meadow, Common Grounds and Waste Grounds in the Manor and Lordship of Car MULTIPLE CONTRIBUTOR / Livro Livro de capa dura
common.buy 22.95 €
Malware Data Science Joshua Saxe / Livro Capa mole
common.buy 36.61 €
How much do yo know about... Frontenis Wanceulen Notebook / Livro Capa mole
common.buy 9.30 €
Bride of Lammermoor Sir Walter Scott / Livro Capa mole
common.buy 7.78 €
The U.S. - India Relationships: Cross-Sector Collaboration to Promote Sustainable Development U S Army War College Press / Livro Capa mole
common.buy 18.60 €
Evidence-Based Skills in Criminal Justice Pamela Ugwudike / Livro Livro de capa dura
common.buy 101.96 €
Target Grade 9 Reading AQA GCSE (9-1) English Language Workbook / Livro Capa mole
common.buy 11.02 €
REPORT OF THE SUPERINTENDING S Keene (N H. ). / Livro Capa mole
common.buy 18.10 €
Coach for a Nation: The Life and Times of Knute Rockne Jim Lefebvre / Livro Capa mole
common.buy 14.86 €
Summer of the Ancient Jodi Lea Stewart / Livro Capa mole
common.buy 14.05 €
Em breve
Markets in Crypto-Assets Regulation (MiCAR) Philipp Maume / Livro Livro de capa dura
common.buy 214.24 €
Manly P. Hall All Seeing Eye Manly P. Hall / Livro Livro de capa dura
common.buy 15.77 €
Is Justice Real When “Reality” is Not? Katherine Forrest / Livro Capa mole
common.buy 136.35 €
Political History of Secession to the Beginning of the American Civil War Daniel Wait Howe / Livro Capa mole
common.buy 27.00 €
Principal
Soviet Playgrounds Zupagrafika / Livro Livro de capa dura
common.buy 24.87 €
International Trade Finance Tarsem Bhogal / E-book Adobe ePub DRM
common.buy 57.14 €
Maker of Pedigrees Markus Friedrich / Livro Livro de capa dura
common.buy 56.94 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?