Logic for programming, artificial intelligence, and reasoning. 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14--19, 2013. Proceedings (Q383830): Difference between revisions

Latest revision as of 19:43, 19 March 2024

scientific article

Language	Label	Description	Also known as
English	Logic for programming, artificial intelligence, and reasoning. 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14--19, 2013. Proceedings	scientific article

Statements

instance of

scholarly article

0 references

title

Logic for programming, artificial intelligence, and reasoning. 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14--19, 2013. Proceedings (English)

0 references

published in

Lecture Notes in Computer Science

0 references

publication date

6 December 2013

0 references

describes a project that uses

HOL Light

0 references

E Theorem Prover

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-642-45221-5

0 references

Identifiers

zbMATH Open document ID

1277.68016

0 references

DOI

10.1007/978-3-642-45221-5

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:383830

@@ Property / Mathematics Subject Classification ID @@
+-06
@@ Property / Mathematics Subject Classification ID: 68-06 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+-06
@@ Property / Mathematics Subject Classification ID: 03-06 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B70
@@ Property / Mathematics Subject Classification ID: 03B70 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T27
@@ Property / Mathematics Subject Classification ID: 68T27 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B25
@@ Property / Mathematics Subject Classification ID: 00B25 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6236088
@@ Property / zbMATH DE Number: 6236088 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HOL Light
@@ Property / describes a project that uses: HOL Light / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+E Theorem Prover
@@ Property / describes a project that uses: E Theorem Prover / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-45221-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2562160110
@@ Property / OpenAlex ID: W2562160110 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:383830