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

Logical Foundations of Computer Science

3rd International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Logical Foundations of Computer Science Yu. V. Matiyasevich
Código Libristo: 05274393
Editoras Springer, Berlin, novembro 1993
This volume presents the refereed papers accepted for the international symposium Logical Foundation... Descrição completa
? points 132 b
54.38 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

La llengua catalana al segle XVIII Balsalobre / Livro Livro
common.buy 35.58 €
A Page is Just the Beginning Dan Lin / Livro Capa mole
common.buy 8.38 €
Eine Kleine Nachtmusik/Notturno/Symphony 39 / Áudio CD de áudio
common.buy 18.89 €
Le Poulpe : La belge et la bête Bruce Mayence / Livro Livro de capa dura
common.buy 12.83 €
English 2 Repetytorium tematyczno-leksykalne Malgorzata Cieslak / Livro Capa mole
common.buy 9.59 €
Planches insolites 170 ans de trésors collegium / Livro Livro de capa dura
common.buy 30.92 €
CD MP3 Wielkie Księstwo Groteski Szczepan Twardoch / Audiolivro MP3
common.buy 10.10 €
Storia del Nord Africa indipendente. Tra imperialismi, nazionalismi e autoritarismi Caterina Roggero / Livro Capa mole
common.buy 20.31 €
The Philosophers, 1 DVD William Yeh / Vídeo DVD
common.buy 9.59 €
Rechtliche Aspekte beim Betrieb von PKW mit national/international ortsfremden Kennzeichen Moritz Hennig / Livro Capa mole
common.buy 35.88 €
Principal
Legszebb Grimm mesék / Livro Capa mole
common.buy 6.26 €
Die Vier Grossmeister Der Aufklärungs-Theologie (Herder, Paulus, Schleiermacher, Strauss) in Ihrem Schreiben Und Treiben Verständlich Und Nach Möglich Sebastian Brunner / Livro Capa mole
common.buy 30.01 €
Dogadać się z dzieckiem Berendt Joanna / Livro Capa mole
common.buy 7.98 €
Mord ist ihre Leidenschaft J. D. Robb / Livro Capa mole
common.buy 12.42 €
Anwendung der Grundsätze zur Haftung für Links auf urheberrechtswidrige Inhalte aus EuGH GS Media (C-160/15) auf Suchmaschinen? Paul Schneider / Livro Capa mole
common.buy 26.48 €
US-amerikanische Erzählkunst 1990-2000. Franz Link / Livro Capa mole
common.buy 79.45 €

This volume presents the refereed papers accepted for the international symposium Logical Foundations of Computer Science '94, Logic at St. Petersburg, held in St. Petersburg, Russia in July 1994. The symposium was the third in a series of joint efforts of logicians from both the former Soviet Union and the West.The volume reflects that the interaction of logic and computer science is an especially fertile ground for interdisciplinary work providing mutual understanding and benefits. The totally 35 papers are devoted to topics as linear logic, Horn clauses, model-checking, lambda-calculi, modal logic, and problem complexity.

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 Logical Foundations of Computer Science
Autor Yu. V. Matiyasevich, Anil Nerode
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 1994
Número de páginas 397
EAN 9783540581406
ISBN 3540581405
Código Libristo 05274393
Editoras Springer, Berlin
Peso 1
Dimensões 216 x 279 x 21

Categorias

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 > Algoritmos e estruturas de dados
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
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

Molecular pathological biology of Coronavirus infection SARS-CoV-2 Ilie Vasiliev / Livro Capa mole
common.buy 41.44 €
Principal
Solo Leveling, Vol. 2 Chugong / Livro Capa mole
common.buy 15.96 €
All about Weather: A First Weather Book for Kids Huda Harajli / Livro Capa mole
common.buy 5.95 €
Theatre of Nepal and the People Who Make It Carol C. Davis / Livro Livro de capa dura
common.buy 105.53 €
The Miracle on Garfield Avenue Kristina Stark / Livro Capa mole
common.buy 10.30 €
Murky, Quirky, Beserky Math Margaret M. Desjardins / Livro Capa mole
common.buy 14.55 €
Scenarios for Research and Assessment of Our Climate Future: Issues and Methodological Perspectives for the U.S. National Climate Assessment: NCA Repo U S Global Change Research Program / Livro Capa mole
common.buy 19.30 €
Felsitic Lavas of England and Wales Frank Rutley / Livro Capa mole
common.buy 12.42 €
Bob Cook and the German Spy PAUL GREE TOMLINSON / Livro Livro de capa dura
common.buy 31.63 €
Analysis of Richard H. Thaler and Cass R. Sunstein's Nudge Mark Egan / Livro Capa mole
common.buy 10.81 €
Internet Revolution in the Sciences and Humanities Alan G. Gross / Livro Capa mole
common.buy 45.08 €
Tales of a Wayside Inn Henry Wadsworth Longfellow / Livro Capa mole
common.buy 7.67 €
Africana Islamic Studies Abul Pitre / Livro Capa mole
common.buy 66.31 €
Attachment Style and Perceived Quality of Romantic Partner's Opposite-sex Best Friendship Kelly Burton / Livro Livro de capa dura
common.buy 89.36 €
Philosophy of Isaiah Berlin Johnny Lyons / Livro Capa mole
common.buy 34.16 €
Económico
In the footsteps of the Snow Leopard Tim Easton / Livro Capa mole
common.buy 13.64 €
DevOps with Kubernetes Saito Hideto Saito / E-book Adobe ePub DRM
common.buy 50.84 €
Deadly Dinner - Killing Woodstock (English Edition) / Jogo/brinquedo Jogo
common.buy 38.81 €
Principal
The Ragpicker King Cassandra Clare / Livro Capa mole
common.buy 15.76 €
Glacier of the Alps & Mountaineering in 1861 John Tyndall / Livro Capa mole
common.buy 16.57 €
Linguistics For Dummies Rose-Marie Dechaine / Livro Capa mole
common.buy 15.76 €
Best Writing on Mathematics 2013 Pitici / Livro Capa mole
common.buy 31.63 €
Pausanias's Description of Greece James George Frazer / Livro Capa mole
common.buy 75.41 €
Principal
Attachment John Bowlby / Livro Capa mole
common.buy 19.20 €

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?