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

Labelled Deduction

Língua InglêsInglês
Livro Capa mole
Livro Labelled Deduction David Basin
Código Libristo: 06622611
Editoras Springer, outubro 2012
Labelled deduction is an approach to providing frameworks for presenting and using different logics... Descrição completa
? points 222 b
91.95 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Silva de extravagancias Antonio Porpetta / Livro Capa mole
common.buy 10.62 €
16 de diciembre: El gran extra de Navidad - un calendario erotico de Navidad Schmidt / Audiolivro MP3
common.buy 3.33 €
The Eminence in Shadow - Vol. 2 / Vídeo Blu-ray
common.buy 53.26 €
Ostrov stratených stromov Elif Shafaková / Livro Livro de capa dura
common.buy 17.31 €
Principal
Duše světa Roger Scruton / Livro Capa mole
common.buy 10.12 €
Jsi bez hranic Katy Yaksha / Livro Capa mole
common.buy 5.66 €
La Santa Muerte: El culto de los que oran y de los que matan Heber Casal Saenz / Livro Capa mole
common.buy 9.51 €
Cartuja de la Defensión, Convento de Santo Domingo AGUAYO COBO / Livro Capa mole
common.buy 12.95 €
Theoretische Grundlagen der allgemeinen Kristalldiagnose im durchfallenden Licht R. Rath / Livro Capa mole
common.buy 47.39 €
Valorisation Des Rebuts de Dattes Dans Des Rations Pour Ovins Lamia Mebirouk-Boudechiche / Livro Capa mole
common.buy 54.28 €
Entwicklung einer RFID Interface-Anwendung Andreas Link / Livro Capa mole
common.buy 58.23 €

Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. §Labelled deduction systems often possess attractive properties, such as modularity in the way that families of related logics are presented, parameterised proofs of metatheoretic properties, and ease of mechanisability. It is thus not surprising that labelled deduction has been applied to problems in computer science, AI, mathematical logic, cognitive science, philosophy and computational linguistics - for example, formalizing and reasoning about dynamic `state oriented' properties such as knowledge, belief, time, space, and resources.

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 Labelled Deduction
Autor David Basin, M. D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Vigan?
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2012
Número de páginas 267
EAN 9789401057813
ISBN 9789401057813
Código Libristo 06622611
Editoras Springer
Peso 438
Dimensões 155 x 235 x 16

Categorias

Filosofia & Religião > Filosofia > Tópicos filosóficos > Filosofia: lógica
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

Arshile Gorky Hayden Herrera / Livro Livro de capa dura
common.buy 35.34 €
Económico
Voyage ABBA / Áudio CD de áudio
common.buy 5.46 €
Principal
Spy x Family, Vol. 7 Tatsuya Endo / Livro Capa mole
common.buy 6.88 €
Intermittent Fasting: Complete Beginner's Guide To Lose Weight, Burn Fat And Stay Healthy Through Intermittent Fasting Elizabeth Wells / Livro Capa mole
common.buy 11.33 €
Principal
Fight Club Chuck Palahniuk / Livro Capa mole
common.buy 8.50 €
Principal
The Idiot Elif Batuman / Livro Capa mole
common.buy 7.99 €
The Great War Syndicate Frank Richard Stockton / Livro Capa mole
common.buy 6.47 €
Astrological Practice of Physick: Discovering the True Way to Cure All Kinds of Diseases and Infirmities Joseph Blagrave / Livro Capa mole
common.buy 22.98 €
9 Strategies to BUILD and GROW Your Author Platform: A Step-by-Step Book Marketing Plan to Get More Exposure and Sales Shelley Hitz / Livro Capa mole
common.buy 6.47 €
Problem of Sociology Lee / Livro Livro de capa dura
common.buy 222.10 €
Coco the gat 4. A hedgehog at home Gérard Moncomble / Livro Capa mole
common.buy 11.03 €
Cry Havoc: How the Arms Race Drove the World to War, 1931-1941 Joseph Maiolo / Livro Capa mole
common.buy 26.32 €
Creating Our Identities in Service-learning and Community Engagement Shelley H. Billig / Livro Livro de capa dura
common.buy 105.53 €
Outrunner Odyssey Thompson / Livro Livro de capa dura
common.buy 15.18 €
Principal
Grendel: The Devil Inside Matt Wagner / Livro Capa mole
common.buy 12.45 €
Signal Processing Louis Auslander / Livro Capa mole
common.buy 91.95 €
Em breve
IMPROVING HEALTH NUTRITION World Bank Group / Livro Capa mole
common.buy 20.55 €
When Things Go Wrong Charles F. Hermann / Livro Capa mole
common.buy 71.60 €
Vernacular Architecture in the 21st Century Lindsay Asquith / Livro Capa mole
common.buy 65.32 €
Digital-to-Analog Conversion in High Resolution Audio Ivar Lokken / Livro Capa mole
common.buy 60.66 €
Implementation of Genetic Algorithms in FPGA-based Systems Nahid Alam / Livro Capa mole
common.buy 42.22 €
Mahavatar Babaji Speaks / Livro Capa mole
common.buy 14.17 €
DENTAL IMPLANT ABUTMENT CONNECTION Vilas Patel / Livro Capa mole
common.buy 48.00 €
Carol's Counsel, Comedies, & Calamities Carol Dold / Livro Capa mole
common.buy 21.77 €

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?