Logic for programming, artificial intelligence, and reasoning. 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14--19, 2013. Proceedings
type: Item
instance of: scholarly article
title: Logic for programming, artificial intelligence, and reasoning. 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14--19, 2013. Proceedings
zbMATH Open document ID: 1277.68016
DOI: 10.1007/978-3-642-45221-5
published in: Lecture Notes in Computer Science
publication date: 2013-12-06T00:00:00Z
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 03-06
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 00B25
zbMATH DE Number: 6236088
describes a project that uses: HOL Light
describes a project that uses: E Theorem Prover
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/978-3-642-45221-5
OpenAlex ID: W2562160110
Recommended article: Logic for programming, artificial intelligence, and reasoning. 18th international conference, LPAR-18, Mérida, Venezuela, March 11--15, 2012. Proceedings
Recommended article: Logic for programming, artificial intelligence, and reasoning. 16th international conference, LPAR-16, Dakar, Senegal, April 25 -- May 1, 2010. Revised selected papers
Recommended article: Q4586077
Recommended article: Logic for programming, artificial intelligence, and reasoning. 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14--18, 2002. Proceedings
Recommended article: Logic for programming, artificial intelligence, and reasoning. 20th international conference, LPAR-20 2015, Suva, Fiji, November 24--28, 2015. Proceedings
Recommended article: Logic for programming, artificial intelligence, and reasoning. 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14--18, 2005. Proceedings.
Recommended article: Logic for programming, artificial intelligence, and reasoning. 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10--15, 2010. Proceedings
Recommended article: Logic for programming, artificial intelligence, and reasoning. 15th international conference, LPAR 2008, Doha, Qatar, November 22--27, 2008. Proceedings
Recommended article: Logic for programming, artificial intelligence, and reasoning. 14th international conference, LPAR 2007, Yerevan, Armenia, October 15--19, 2007. Proceedings
Recommended article: Logic for programming, artificial intelligence, and reasoning. 8th international conference, LPAR 2001, Havana, Cuba, December 3--7, 2001. Proceedings.
description: scientific article; zbMATH DE number 6236088