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 € Correio MRW 3.99 € Ponto DPD 3.99 €
phone Contacto phoneComo comprar

Logic for Programming, Artificial Intelligence, and Reasoning

9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Logic for Programming, Artificial Intelligence, and Reasoning Matthias Baaz
Código Libristo: 01555913
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, outubro 2002
This book constitutes the refereed proceedings of the 9th International Conference on Logic for Prog... Descrição completa
? points 109 b
44.86 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Leto tvojej nehy Juraj Kalnický / Livro Livro de capa dura
common.buy 2.92 €
Egal was sich auch ändert, das Herz bleibt genau dasselbe Berman Vered / Livro Livro de capa dura
common.buy 12.72 €
Gold & Rainbows-The Warner Bros Years 1969-1978 Seals and Crofts / Áudio CD de áudio
common.buy 57.08 €
LES COQUILLAGES ET CE QU'ILS CACHENT Helen SCALES / Livro Livro
common.buy 14.14 €
Knooking – pletení na háčku. Základní postupy krok za krokem Veronika Hugová / Livro Capa mole
common.buy 8.48 €
CONTRE-NOIR MATTHIEU PECK / Livro Capa mole
common.buy 20.81 €
Die Silbermeer-Saga (Band 2) - Die Fließende Karte Katharina Hartwell / Livro Livro de capa dura
common.buy 17.37 €
Mezi vilami Justin Quinn / Livro Livro de capa dura
common.buy 9.69 €
Bachiben Ane Babubhai Amricama: Gujarati Hasya Navalakathaa Kirit Bhakta / Livro Capa mole
common.buy 9.49 €
Promenades A Chamouni Lutz-M / Livro Capa mole
common.buy 12.42 €
Karma Tolstói / Livro Capa mole
common.buy 9.99 €
Etudes de la Nature. Tome 3 Henri Bernardin De Saint-Pierre / Livro Capa mole
common.buy 28.49 €

This book constitutes the refereed proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002, held in Tbilisi, Georgia in October 2002.The 30 revised full papers presented were carefully reviewed and selected from 68 submissions. Among the topics covered are constraint programming, formal software enginering, formal verification, resolution, unification, proof planning, agent splitting, binary decision diagrams, binding, linear logic, Isabelle theorem prover, guided reduction, etc.

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 Logic for Programming, Artificial Intelligence, and Reasoning
Autor Matthias Baaz, Andrei Voronkov
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2002
Número de páginas 470
EAN 9783540000105
ISBN 3540000100
Código Libristo 01555913
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1490
Dimensões 155 x 235 x 27

Categorias

Tecnologia, Engenharia & Agricultura > Eletrónica & engenharia das comunicações > Engenharia eletrónica > Engenharia de controlos automáticos > Robó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
Informática & tecnologia da informação > Sistemas operativos
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

Non Coding RNAs in Plants Volker A. Erdmann / Livro Capa mole
common.buy 183.20 €
Army of Shadows Joseph Kessel / Livro Capa mole
common.buy 14.04 €
Legacies of Great Men in World Soccer Kausik Bandyopadhyay / Livro Livro de capa dura
common.buy 125.50 €
Papers by Command, Volume 88 Great Britain Parliament House of Comm / Livro Livro de capa dura
common.buy 43.14 €
Em breve
Skills-Based Health Education Mary Connolly / Livro Capa mole
common.buy 126.20 €
Ordnance Survey Memoirs of Ireland: Vol. 11: Parishes of Co. Londonderry III: 1831-5 Angelique Day / Livro Capa mole
common.buy 14.04 €
Learn Java for Android Development: Java 8 and Android 5 Edition Jeff Friesen / Livro Capa mole
common.buy 25.86 €
Family Tree Albany De Fonblanque / Livro Livro de capa dura
common.buy 29.40 €
Frankia in Heavy Metals and Aromatic Compounds Bio-remediation Medhat Rehan / Livro Capa mole
common.buy 43.95 €
Life Less Throwaway Tara Button / Livro Capa mole
common.buy 13.33 €
NETWORKING 2012 Workshops Zdenek Becvar / Livro Capa mole
common.buy 45.97 €
Ice Kevin Tinto / Livro Capa mole
common.buy 13.73 €
Chemistry: Theory and Practice BRUCE HORAK / Livro Livro de capa dura
common.buy 108.42 €
Nursing Care and ECMO Chirine Mossadegh / Livro Capa mole
common.buy 34.15 €
Hymns for Brass: Conductor Hal Leonard Corp / Livro Capa mole
common.buy 11.00 €
Write Now Inga Dubay / Livro Capa mole
common.buy 11.00 €
New Spring: Prequel to the Wheel of Time Robert Jordan / Livro Capa mole
common.buy 6.86 €
Expanding World Ayahuasca Diaspora Beatriz Caiuby Labate / Livro Capa mole
common.buy 57.99 €
Through Deserts And Oases Of Central Asia Ella Sykes / Livro Livro de capa dura
common.buy 39.10 €
Em breve
National Geographic Traveler Japan 7th Edition E07 / Livro Capa mole
common.buy 21.11 €
Broken Boundaries Katherine M. Quinsey / Livro Capa mole
common.buy 29.80 €
Seed-borne plant virus diseases K. Subramanya Sastry / Livro Livro de capa dura
common.buy 137.52 €
Building Structures Illustrated - Patterns, Systems, and Design, Second Edition Francis D K Ching / Livro Capa mole
common.buy 45.26 €
Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE Bran Selic / Livro Capa mole
common.buy 59.11 €

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