Vai al contenuto principale della pagina

Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings / Michel Parigot, Andrei Voronkov (eds.).



(Visualizza formato Marc21)    (visualizza in BIBRAME 2.0)

Creatore: LPAR (Conference) (2000 : Réunion)
Titolo: Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings / Michel Parigot, Andrei Voronkov (eds.).
Link to work: Logic for programming and automated reasoning Visualizza cluster
Pubblicazione: Berlin ; New York : Springer, 2000
Estensione: 1 online resource (xiii, 486 pages) : illustrations.
Tipo formato: computer
Tipo contenuto: text
Tipo supporto: online resource
Disciplina: 005.1/15
Titolo uniforme di collana: Lecture notes in computer science ; 1955.
Lecture notes in computer science. Lecture notes in artificial intelligence.
Genere/Forma: Online resources
Electronic books
Conference papers and proceedings
Congressen (vorm)
Classificazione: 54.72
Classificazione LOC: QA76.63 .L735 2000
Creatori/Collaboratori: Parigot, Michel, , 1956-
Voronkov, A. (Andreĭ), , 1959-
Contenuto supplementare: Includes bibliographical references and index.
Restrizioni accesso: Access is restricted to users affiliated with licensed institutions.
Sommario/riassunto: This book constitutes the refereed proceedings of the 7th International Conference on Logic for Programming and Automated Reasoning, LPAR 2000, held in Reunion Island, France in November 2000. The 26 revised full papers presented together with four invited contributions were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on nonmonotonic reasoning, descriptive complexity, specification and automatic proof-assistants, theorem proving, verification, logic programming and constraint logic programming, nonclassical logics and the lambda calculus, logic and databases, program analysis, mu-calculus, planning and reasoning about actions.
Collana: Lecture notes in computer science ; 1955. Lecture notes in artificial intelligence
ISBN: 9783540444046
3540444041
3540412859
9783540412854
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 004344473
Localizzazioni e accesso elettronico http://link.springer.com/10.1007/3-540-44404-1
Collocazione: Electronic access
Lo trovi qui: New York University
Altra ed. diverso supporto: Print version: LPAR (Conference) (2000 : Réunion). Logic for programming and automated reasoning. Berlin ; New York : Springer, 2000 3540412859 (OCoLC)45310332