Verificar estado da encomenda

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

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Logic for Programming, Artificial Intelligence, and Reasoning

Name: Logic for Programming, Artificial Intelligence, and Reasoning
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01563961
Price: 91.67 EUR
Availability: InStock
Author: Robert Nieuwenhuis
ISBN: 9783540429579

8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings

Robert Nieuwenhuis

Andrei Voronkov

Língua

Inglês

Livro Capa mole

Código Libristo: 01563961

Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, novembro 2001

This book constitutes the refereed proceedings of the 8th International Conference on Logic for Prog... Descrição completa

Código Libristo: 01563961

222 b

91.67 €

Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Bildung im Alter - Theoretische Grundlagen und eine empirische Untersuchung einer Wohnanlage fur altersgerechtes Wohnen Daniel Werner

Capa mole

33.81 €

Die Küstencrew (Band 1) - Das Gold der Walfänger Nathalie Kranich

Livro de capa dura

11.90 €

Usinage par décharge électrique des composites à matrice métallique en aluminium Jatinder Kumar

Capa mole

51.69 €

Tieronisch Eulen (Wandkalender 2026 DIN A3 hoch), CALVENDO Monatskalender Calvendo

Calendário

25.03 €

This book constitutes the refereed proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2001, held in Havana, Cuba, in December 2001.The 40 revised full papers presented together with an invited paper were carefully reviewed and selected from 112 submissions. The book offers topical sections on verification, guarded logic, agents, automated theorem proving, non-classical logics, types, experimental aspects, foundations of logic, CSP and SAT, nonmonotonic reasoning, semantics, termination, knowledge-based systems, analysis of logic programs, databases and knowledge bases, and program analysis and proof planning.

Atriz & Poliglota

EWA KASP para

Reproduzir vídeo

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 Robert Nieuwenhuis, Andrei Voronkov

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 2001

Número de páginas 741

EAN 9783540429579

ISBN 3540429573

Código Libristo 01563961

Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Peso 2310

Dimensões 155 x 233 x 41

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

Medicina & enfermagem > Medicina: generalidades

Informática & tecnologia da informação > Sistemas operativos