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 € Ponto GLS 4.49 €
phone Contacto phoneComo comprar

Isabelle

A Generic Theorem Prover

Língua InglêsInglês
Livro Capa mole
Livro Isabelle Lawrence C. Paulson
Código Libristo: 02780943
Editoras Springer, Berlin, novembro 1993
An introduction to Isabelle, a genetic theorem prover which supports a variety of logics. The volume... Descrição completa
? points 125 b
51.65 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

En el suelo hay poesía : camino al verso Jose Luis Álvarez Velez / Livro Capa mole
common.buy 13.23 €
Where Hummingbirds Come From Bilingual Amharic English Adele Marie Crouch / Livro Capa mole
common.buy 14.04 €
Ce monstre aux yeux verts Villemot / Livro Capa mole
common.buy 13.13 €
#VivreAuVingtEtUnièmeSiècle Kosma Livro Capa mole
common.buy 18.49 €
WWE: Hell in a Call 2022, 2 DVDs, 2 DVD-Video / Vídeo DVD
common.buy 22.03 €
Tres Cuentos Nikolai Gógol / Livro Capa mole
common.buy 19.50 €
Sherlock Holmes - Sammelbox, 3 DVD Henri Safran / Vídeo DVD
common.buy 23.85 €
Los Profetas Menores: Oseas, Joel, Amos. Abdias, Jonas, Miqueas, Nahum, Habacuc, Sofonias, Hageo, Zacarias, Malaquias. Esther Gonzalez / Livro Capa mole
common.buy 13.03 €
Feuersturm Alfred Lambeck / Livro Capa mole
common.buy 12.73 €
PONS Rechtschreibung und Zeichensetzung auf einen Blick Deutsch / Artigos impressos Mapa
common.buy 7.88 €
Desafio de Humanizar El Trabajo Grether Lucía Real Pérez / Livro Capa mole
common.buy 52.56 €
Handlungsunrecht der Steuerhinterziehung Alexander Hoff / Livro Capa mole
common.buy 53.06 €
Odvaha za úsvitu Helen Lawsonová / Livro Capa mole
common.buy 1.10 €
Lehrbuch Der Gesamten Chemie Friedrich L. Breusch / Livro Capa mole
common.buy 31.23 €
Minus Drei und der Zahlensalat Ute Krause / Livro Livro de capa dura
common.buy 8.79 €
Innovationsfinanzierung durch Venture Capital Arno Nonnen / Livro Capa mole
common.buy 33.96 €
Geschichtspolitik in Der "berliner Republik" Manuel Becker / Livro Capa mole
common.buy 67.42 €
Rechtsschutz gegen nicht zur Rechtsetzung gehörende Akte der Legislative. Hubert Schmelter / Livro Capa mole
common.buy 56.50 €
Špaky v tŕní Zuzana Cigánová / Livro Livro de capa dura
common.buy 5.65 €
Nevěrná Vladimír Kavčiak / Livro Livro de capa dura
common.buy 8.08 €

An introduction to Isabelle, a genetic theorem prover which supports a variety of logics. The volume outlines theoretical aspects and then demonstrates Isabelle's use in practice. All functions are described, and advice is given on correct usage.

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 Isabelle
Autor Lawrence C. Paulson, Tobias Nipkow
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 1994
Número de páginas 329
EAN 9783540582441
ISBN 3540582444
Código Libristo 02780943
Editoras Springer, Berlin
Peso 535
Dimensões 156 x 234 x 18

Categorias

Tecnologia, Engenharia & Agricultura > Eletrónica & engenharia das comunicações > Engenharia eletrónica > Engenharia de controlos automáticos > Robótica
Matemática & ciência > Matemática > Fundamentos da matemática > Lógica matemática
Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas
Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática
Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica
Informática & tecnologia da informação > Ciência informática > Inteligência artificial
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

Modeling by Object-Driven Linear Elemental Relations H.J. Greenberg / Livro Capa mole
common.buy 154.26 €
Non-Archimedean Tame Topology and Stably Dominated Types (AM-192) Ehud Hrushovski / Livro Capa mole
common.buy 101.29 €
Einstein's Unfinished Revolution Lee Smolin / Livro Capa mole
common.buy 12.63 €
Account Of The Remarkable Occurrences In The Life And Travels Of Col. James Smith W. M. Darlington / Livro Capa mole
common.buy 24.76 €
Managing Service Productivity Ali Emrouznejad / Livro Livro de capa dura
common.buy 154.26 €
Protection of Electronic Circuits R Standler / Livro Capa mole
common.buy 22.33 €
Millions Frank Cottrell Boyce / Livro Capa mole
common.buy 11.72 €
Healing Code Alexander Loyd / Livro Capa mole
common.buy 14.45 €
Writer's Task from Nietzsche to Brecht Hans Reiss / Livro Capa mole
common.buy 58.32 €
Natural Hazard Mitigation Policy Daniel J. Alesch / Livro Capa mole
common.buy 102.90 €
Primary Bone Tumors and Tumorous Conditions in Children Claus-Peter Adler / Livro Capa mole
common.buy 102.90 €
Art of War (Illustrated Edition) Sun Tzu / Livro Capa mole
common.buy 15.66 €
Modelling Methodology for Physiology and Medicine Ewart Carson / Livro Livro de capa dura
common.buy 125.65 €
Razor's Edge G Michael Hopf / Livro Capa mole
common.buy 15.76 €
Appeasement in International Politics StephenR Rock / Livro Livro de capa dura
common.buy 39.52 €
Alice's Adventures in Wonderland colouring book John Tenniel / Livro Capa mole
common.buy 14.04 €
Love Trances Craig Rovinsky / Livro Livro de capa dura
common.buy 27.39 €
Industrial Resources Of Wisconsin (1853) John Gregory / Livro Capa mole
common.buy 30.92 €

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?