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

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 111 b
45.93 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Mortalidad Por Suicidio En La Región de Las Américas: Informe Regional 2010-2014 Pan American Health Organization / Livro Capa mole
common.buy 32.80 €
Elmar und seine Freunde, Deutsch-Englisch. Elmer's Friends David McKee / Livro Livro concertina
common.buy 7.46 €
Microblogging En La Educacion Lenis Querales / Livro Capa mole
common.buy 22.91 €
Prosa. Tl.1 Paul Celan / Livro Livro de capa dura
common.buy 77.13 €
Sedmý závoj - Listy z jednoho století František R. Kraus / Livro Livro de capa dura
common.buy 6.55 €
Kondolenzbuch Premium "Wir nehmen Abschied" Anna Piok / Livro Livro de capa dura
common.buy 15.84 €
Gay: Saliendose y viniendose Kathleen Hope / E-book Adobe ePub DRM
common.buy 4.03 €
Les Arcana Arcanorum et les rites maçonniques égyptiens de Memphis et Misraïm Karol / Livro Livro de capa dura
common.buy 25.54 €
Noches de uvas que han fermentado Jaime Cesar / Livro Capa mole
common.buy 5.75 €
Traktory i kombajny Krzysztof Kozera / Livro Capa mole
common.buy 3.63 €
Svenska-Ungerska Verktyg/Szerszámok Barns tv?spr?kiga bildordbok Suzanne Carlson / Livro Capa mole
common.buy 10.29 €
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 8.77 €
Commander (Buch III) Heino Caesar / Livro Capa mole
common.buy 30.68 €
Gedichtinterpretationen gestalten lernen - mit Naturlyrik Johannes G Klinkmuller / Livro Capa mole
common.buy 19.78 €
Schweizer Jahrbuch fuer Musikwissenschaft- Annales Suisses de Musicologie- Annuario Svizzero di Musicologia Joseph Willimann / Livro Capa mole
common.buy 68.85 €

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 119.03 €
Polishes and Stains for Woods David Denning / Livro Capa mole
common.buy 21.90 €
Shampoo - The Criterion Collection / Vídeo Blu-ray
common.buy 21.50 €
Buddy Holly: "Chirping" Crickets / 180G Buddy Holly / Áudio Vinil de áudio
common.buy 13.01 €
Cambridge International AS Level History Modern Europe 1774-1924 Coursebook with Digital Access (2 Years) Patrick Walsh-Atkins / Livro Capa mole
common.buy 33.21 €
The Essential Guide to the Loch Ness Monster & Other Aquatic Cryptids Ken Gerhard / Livro Capa mole
common.buy 16.35 €
Bones being Further Adventures in Mr. Commissioner Sanders' Country Edagar Wallace / Livro Capa mole
common.buy 8.77 €
Liverpool Travel Guide: Sightseeing, Hotel, Restaurant & Shopping Highlights Angela Woodward / Livro Capa mole
common.buy 11.00 €
Recent Advances in Computer Science and Information Engineering Lei Cao / Livro Capa mole
common.buy 183.05 €
Going the Distance: Dissident Subjectivity in Modernist American Literature David R. Jarraway / Livro Capa mole
common.buy 28.26 €
Information and Decision in Behavioral Economics Adam Biela / Livro Livro de capa dura
common.buy 51.69 €
Present State of Music in France and Italy Charles Burney / Livro Capa mole
common.buy 25.94 €
Mentoria Ann Murry / Livro Livro de capa dura
common.buy 37.45 €
Russia's Unknown Agriculture Judith Pallot / Livro Livro de capa dura
common.buy 138.32 €
Lost City of the Incas Hiram Bingham / Livro Capa mole
common.buy 12.11 €
Em breve
Antarctica David Walton / Livro Livro de capa dura
common.buy 59.06 €
Singular Elliptic Problems Marius Ghergu / Livro Livro de capa dura
common.buy 100.56 €
Sources in European Political History Chris Cook / Livro Livro de capa dura
common.buy 151.65 €
Surgical Management of Nasal Obstruction: Rhinologic Perspective, An Issue of Otolaryngologic Clinics Samuel S. Becker / Livro Livro de capa dura
common.buy 78.44 €
Telling without Talking Barry M. Cohen / Livro Livro de capa dura
common.buy 44.52 €
Elliptic Curves. (MN-40), Volume 40 Anthony W. Knapp / Livro Capa mole
common.buy 120.65 €
Noise in Semiconductor Devices Fabrizio Bonani / Livro Livro de capa dura
common.buy 137.41 €

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?