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

Logic Programming and Automated Reasoning

4th International Conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993. Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Logic Programming and Automated Reasoning Andrei Voronkov
Código Libristo: 05274323
Editoras Springer, Berlin, novembro 1992
LPAR is an international conference series aimed at bringing together researchers interested in logi... Descrição completa
? points 132 b
54.51 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Em breve Novo
Genitalflüssigkeiten und Geschlecht Ell Rutkat / Livro Capa mole
common.buy 42.96 €
Klíč k Chíramovi Christopher Knight / Livro Livro de capa dura
common.buy 13.98 €
Gay: Saliendose y viniendose Kathleen Hope / E-book Adobe ePub DRM
common.buy 4.75 €
Les Arcana Arcanorum et les rites maçonniques égyptiens de Memphis et Misraïm Karol / Livro Livro de capa dura
common.buy 29.58 €
El Burro y el Caballo CARMEN ALONSO BADIA / Livro Livro de capa dura
common.buy 18.23 €
Kondolenzbuch Premium "Wir nehmen Abschied" Anna Piok / Livro Livro de capa dura
common.buy 18.03 €
Sedmý závoj - Listy z jednoho století František R. Kraus / Livro Livro de capa dura
common.buy 7.49 €
Noches de uvas que han fermentado Jaime Cesar / Livro Capa mole
common.buy 6.78 €
Mortalidad Por Suicidio En La Región de Las Américas: Informe Regional 2010-2014 Pan American Health Organization / Livro Capa mole
common.buy 37.59 €
Svenska-Ungerska Verktyg/Szerszámok Barns tv?spr?kiga bildordbok Suzanne Carlson / Livro Capa mole
common.buy 12.15 €
Espa?ol - Marathi: Escritura & Colorear Alfabeto Libros Educación Infantiles: Spanish Marathi Practicar alfabeto ABC letras con dibujos a Emilly Lima / Livro Capa mole
common.buy 10.33 €
Schweizer Jahrbuch fuer Musikwissenschaft- Annales Suisses de Musicologie- Annuario Svizzero di Musicologia Joseph Willimann / Livro Capa mole
common.buy 81.27 €
Traktory i kombajny Krzysztof Kozera / Livro Capa mole
common.buy 4.55 €
Microblogging En La Educacion Lenis Querales / Livro Capa mole
common.buy 27.56 €
Elmar und seine Freunde, Deutsch-Englisch. Elmer's Friends David McKee / Livro Livro concertina
common.buy 8.91 €
Commander (Buch III) Heino Caesar / Livro Capa mole
common.buy 36.98 €
Prosa. Tl.1 Paul Celan / Livro Livro de capa dura
common.buy 92.82 €
Gedichtinterpretationen gestalten lernen - mit Naturlyrik Johannes G Klinkmuller / Livro Capa mole
common.buy 22.49 €

LPAR is an international conference series aimed at bringing together researchers interested in logic programming and automated reasoning. The research in logic programming grew out of the research in automated reasoning in the early1970s. Later, the implementation techniques known from logic programming were used in implementing theorem proving systems. Results from both fields applied to deductive databases. This volume contains the proceedings of LPAR '93, which was organized by the Russian Association for Logic Programming. The volume contains 35 contributed papers selected from 84 submissions, together with an invited paper by Peter Wegner entitled "Reasoning versus modeling in computer science".

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 Programming and Automated Reasoning
Autor Andrei Voronkov
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 1993
Número de páginas 394
EAN 9783540569442
ISBN 3540569448
Código Libristo 05274323
Editoras Springer, Berlin
Peso 533
Dimensões 155 x 233 x 21

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 > Ciência informática > Teoria matemática da informática
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

Short-cut Demand Elasticities and Other Convenient Approaches to Consumer Demand Kenneth W. Clements / Livro Livro de capa dura
common.buy 141.27 €
Polishes and Stains for Woods David Denning / Livro Capa mole
common.buy 26.04 €
Principal
Cambridge International AS Level History Modern Europe 1774-1924 Coursebook with Digital Access (2 Years) Patrick Walsh-Atkins / Livro Capa mole
common.buy 40.22 €
Mentoria Ann Murry / Livro Livro de capa dura
common.buy 41.85 €
Present State of Music in France and Italy Charles Burney / Livro Capa mole
common.buy 30.90 €
Hepatitis C Paul J. Thuluvath / Livro Capa mole
common.buy 17.02 €
Information and Decision in Behavioral Economics Adam Biela / Livro Livro de capa dura
common.buy 61.61 €
Going the Distance: Dissident Subjectivity in Modernist American Literature David R. Jarraway / Livro Capa mole
common.buy 32.72 €
History of the Rise, Progress, and Accomplishment of the Abolition of the African Slave-Trade by the British Parliament Thomas Clarkson / Livro Capa mole
common.buy 67.49 €
Recent Advances in Computer Science and Information Engineering Lei Cao / Livro Capa mole
common.buy 217.17 €
The Ninth Floor Liz Schulte / Livro Capa mole
common.buy 13.27 €
Liverpool Travel Guide: Sightseeing, Hotel, Restaurant & Shopping Highlights Angela Woodward / Livro Capa mole
common.buy 12.35 €
Bones being Further Adventures in Mr. Commissioner Sanders' Country Edagar Wallace / Livro Capa mole
common.buy 9.82 €
99 Tricks and Traps for Oracle Primavera P6 PPM Professional Updated for Version 21 Paul E Harris / Livro Capa mole
common.buy 48.13 €
The Essential Guide to the Loch Ness Monster & Other Aquatic Cryptids Ken Gerhard / Livro Capa mole
common.buy 19.35 €
Noise in Semiconductor Devices Fabrizio Bonani / Livro Livro de capa dura
common.buy 163.06 €
Lost City of the Incas Hiram Bingham / Livro Capa mole
common.buy 14.89 €
Em breve
Antarctica David Walton / Livro Livro de capa dura
common.buy 71.13 €
Singular Elliptic Problems Marius Ghergu / Livro Livro de capa dura
common.buy 116.03 €
Sources in European Political History Chris Cook / Livro Livro de capa dura
common.buy 175.93 €
Surgical Management of Nasal Obstruction: Rhinologic Perspective, An Issue of Otolaryngologic Clinics Samuel S. Becker / Livro Livro de capa dura
common.buy 91.71 €
Russia's Unknown Agriculture Judith Pallot / Livro Livro de capa dura
common.buy 164.47 €
Telling without Talking Barry M. Cohen / Livro Livro de capa dura
common.buy 48.64 €
Elliptic Curves. (MN-40), Volume 40 Anthony W. Knapp / Livro Capa mole
common.buy 170.96 €

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?