Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Automated Reasoning Jürgen Giesl

Automated Reasoning

5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings

Szerző: Jürgen Giesl, Reiner Hähnle
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Elérhetőség: Beszállítói készleten
Küldés 9-15 napon belül
42 816 Ft
This book constitutes the refereed proceedings of the 5th International Joint Conference on Automate...

Információk a könyvről

Szerző
Jürgen Giesl, Reiner Hähnle
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2010
oldal
536
EAN
9783642142024
ISBN
3642142028
Enbook ID
01656184
Kiadó
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly
815
Méretek
155 x 238 x 30

Teljes leírás

This book constitutes the refereed proceedings of the 5th International Joint Conference on Automated Reasoning, IJCAR 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010.The 28 revised full research papers and 12 revised system descriptions presented together with 1 full paper and 2 abstracts of invited talks were carefully reviewed and selected from 63 full paper and 26 system description submissions. The papers address the entire spectrum of research in automated reasoning and are organized in topical sections on logical frameworks and combination of systems; description logic; higher-order logic; verification; first-order logic; non-classical logic; induction; decision procedures; arithmetic; applications; and termination.

Érdekelheti

Seismic Engineering

Jacques Betbeder-Matibet
156 828 Ft

Managing the Reality of Virtual Organizations

SANDHYA SHEKHAR
19 016 Ft

Rock Paper Scissors

Matty Dalrymple
7 213 Ft

Bedtime Stories for Insomniacs: Surprisingly Original Sleep Tips from the Effortless Sleep Method Good Sleepers' Club

Sasha Stephens
3 856 Ft

A Flock of Girls and Boys

Nora Perry
3 027 Ft

The Categories (annotated)

Aristotle
2 442 Ft

Standardising English

EDITED BY LINDA PILL
54 357 Ft

Urdu Children's Book Level 3 Reader

Dinesh Verma
5 541 Ft

Cupping Therapy Science: A Therapeutic Traditional Regime

Malik Ih
9 330 Ft

Blitzscaling

Reid Hoffman
6 199 Ft

Brentano and Intrinsic Value

Roderick M. Chisholm
13 015 Ft

Degrees of Separation

Ian Gouge
4 757 Ft

Science of Self-Empowerment

Gregg Braden
7 758 Ft

Blood Apprentice

Elizabeth Hunter
6 514 Ft

Creative Kinetics

Rodney Frost
10 371 Ft

My Product Management Toolkit: Tools and Techniques to Become an Outstanding Product Manager

Marc Abraham
6 059 Ft

Animals in the International Law of Armed Conflict

Anne Peters
52 100 Ft

Brockton

James E. Benson
4 271 Ft

Gravity Falls: Happy Summerween! / The Convenience Store . . . of Horrors!

DISNEY BOOK GROUP
2 370 Ft

Revolutionary Russia, 1891-1991

Orlando Figes
6 212 Ft

Mood and Modality

F. R. (University of Reading) Palmer
47 113 Ft

Vibes

Amy Kathleen Ryan
4 956 Ft

Morgesons

Elizabeth Stoddard
6 100 Ft

Maria the Moon

NANCY MEADOWS
4 027 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

grande vuoto di un piccolo amico. Quando gli animali ci lasciano

Jeffrey Moussaieff Masson
9 830 Ft

Die Kunst des Zeichnens - Das Standardwerk

Frechverlag
8 987 Ft

Artistas

Cristina Serret
3 027 Ft

Einführung in die Kautschuktechnologie

Georg Abts
24 845 Ft

Je valorise mes déchets verts au jardin

Denis Pépin
7 528 Ft

Entwicklung von Autonomie und Paternalismus

Hugo Esteva
13 483 Ft

INT.DINAMICA KEYNESI

KURIHAR
2 113 Ft

Whisky-Witze

Wolfgang F. Rothe
6 429 Ft

AULAS INCLUSIVAS

Mª EUGENIA PEREZ
19 556 Ft

L'' cole Normale

Romuald Normand
32 972 Ft

String Quartets 1+2

Shostakovich Quartet
2 559 Ft

Nueva Gramatica de la Lengua Espanola Manual

Real Academia Espanola
8 942 Ft

Her Sey Allah&#305

Hekimoglu ismail
2 527 Ft

UEber Nithards

Gerold Meyer Von Knonau
6 100 Ft