Ibn Sīnā on Analysis: 1. Proof Search. Or: Abstract State Machines as a Tool for History of Logic (Q3586011): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-15025-8_18
+Normal rank
@@ Property / OpenAlex ID @@
+W1483950873
@@ Property / OpenAlex ID: W1483950873 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4101844
@@ Property / cites work: Q4101844 / rank @@
+Normal rank
@@ Property / cites work @@
+A mathematical definition of full Prolog
@@ Property / cites work: A mathematical definition of full Prolog / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract State Machines
@@ Property / cites work: Abstract State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Q3971260
@@ Property / cites work: Q3971260 / rank @@
+Normal rank
@@ Property / cites work @@
+Can abstract state machines be useful in language theory?
+Normal rank
@@ Property / cites work @@
+Traditional logic, modern logic and natural language
+Normal rank
@@ Property / cites work @@
+Q3924155
@@ Property / cites work: Q3924155 / rank @@
+Normal rank