Name: Logic for Programming, Artificial Intelligence, and Reasoning by Andrei Voronkov
Brand: eBookmela
Availability: OnlineOnly
Rating: 4.4 (656 reviews)

Logic for Programming, Artificial Intelligence, and Reasoning

Book Title	Logic for Programming, Artificial Intelligence, and Reasoning
Author	Christian G. Fermüller Andrei Voronkov
Publisher	Springer Science & Business Media
Published	2010-09-27
Language	English
Subject	Computers, Artificial Intelligence, General, Computers, Programming, Compilers, Computers, Computer Science, Computers, Information Technology, Computers, Logic Design, Computers, Programming, General, Computers, Languages, General, Computers, Software Development & Engineering, General, Mathematics, Discrete Mathematics, Mathematics, Logic,
Page_Count	656
Format	BOOK
ISBN	364216241X 9783642162411

Buy Now
Read Online

About this Book

This book constitutes the refereed proceedings of the 17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-17, held in Yogyakarta, Indonesia, in October 2010. The 41 revised full papers presented were carefully reviewed and selected from 133 submissions.

Source: View Book on Google Books

Logic for Programming, Artificial Intelligence, and Reasoning

About this Book

Similar Books: