Logic for Programming, Artificial Intelligence, and Reasoning - Info and Reading Options

10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings (Lecture Notes in Computer Science)

By Moshe Y. Vardi and Andrei Voronkov

The cover of “Logic for Programming, Artificial Intelligence, and Reasoning” - Open Library.

"Logic for Programming, Artificial Intelligence, and Reasoning" was published by Springer in November 5, 2003 - Berlin ; New York, it has 437 pages and the language of the book is English.

“Logic for Programming, Artificial Intelligence, and Reasoning” Metadata:

Title: ➤ Logic for Programming, Artificial Intelligence, and Reasoning
Authors: Moshe Y. VardiAndrei Voronkov
Language: English
Number of Pages: 437
Publisher: Springer
Publish Date: November 5, 2003
Publish Location: Berlin ; New York

“Logic for Programming, Artificial Intelligence, and Reasoning” Subjects and Themes:

Subjects: Logic programming - Congresses - Automatic theorem proving - Conference papers and proceedings

Edition Specifications:

Format: Paperback
Weight: 1.5 pounds
Dimensions: 9.2 x 6.2 x 1 inches

Edition Identifiers:

The Open Library ID: OL9543170M - OL16966616W
Online Computer Library Center (OCLC) ID: 53007054
Library of Congress Control Number (LCCN): 2003061048
ISBN-13: 9783540201014
ISBN-10: 3540201017
All ISBNs: 3540201017 - 9783540201014

AI-generated Review of “Logic for Programming, Artificial Intelligence, and Reasoning”:

Select your preferred language for the answer

Snippets and Summary:

Description logics (DLs) [1] are a family of knowledge representation languages which can be used to represent the terminological knowledge of an application domain in a structured and formally well-understood way.

Read “Logic for Programming, Artificial Intelligence, and Reasoning”:

Read “Logic for Programming, Artificial Intelligence, and Reasoning” by choosing from the options below.

Search for “Logic for Programming, Artificial Intelligence, and Reasoning” downloads:

Visit our Downloads Search page to see if downloads are available.

Find “Logic for Programming, Artificial Intelligence, and Reasoning” in Libraries Near You:

Read or borrow “Logic for Programming, Artificial Intelligence, and Reasoning” from your local library.

The WorldCat Libraries Catalog: Find a copy of “Logic for Programming, Artificial Intelligence, and Reasoning” at a library near you.

Buy “Logic for Programming, Artificial Intelligence, and Reasoning” online:

Shop for “Logic for Programming, Artificial Intelligence, and Reasoning” on popular online marketplaces.

Ebay: New and used books.

"Logic for Programming, Artificial Intelligence, and Reasoning" - Information and Links: