Automated Reasoning

Name: Automated Reasoning
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783540223450
Price: 582.96 RON
Availability: InStock

Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings

Autor: David Basin, Michael Rusinowitch

Limbă:

Legare: Carte broșată

Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Disponibilitate: În depozitul extern în cantități mici

Expediem în 11-15 zile

582.96 lei

This book constitutes the refereed proceedings of the Second International Joint Conference on Autom...

Informații despre carte

Autor

David Basin, Michael Rusinowitch

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2004

Pagini

491

EAN

9783540223450

ISBN

3540223452

Enbook ID

01559566

Editura

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Greutate

1580

Dimensiuni

155 x 235 x 28

Descriere completă

This book constitutes the refereed proceedings of the Second International Joint Conference on Automated Reasoning, IJCAR 2004, held in Cork, Ireland, in July 2004. IJCAR 2004 comprises CADE, CALCULEMUS, FroCoS, FTP, and TABLEAUX.The 26 revised full research papers and 6 revised system demonstrations presented together with 3 invited papers and a summary of a systems competition were carefully reviewed and selected from a total of 86 submissions. The papers are organized in topical sections on rewriting, saturation-based theorem proving, combination techniques, verification and systems, reasoning with finite structure, tableaux and non-classical logics, applications and systems, computer mathematics, interactive theorem proving, combinatorial reasoning, and higher-order reasoning.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Automated Reasoning

Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și