Searching for "Abduction is not Deduction-in-Reverse." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Abduction is not Deduction-in-Reverse
by Marta Cialdea Mayer, Fiora Pirri — 1996
…Abduction is not Deduction-in-Reverse MARTA CIALDEA MAYER, Dipartimento di Informatica, Terza…
Cited by 10 (0 self) – Add To MetaCart

Journal of the IGPL
by Volume Number February, Special Issue Of The, Dov M. Gabbay, Jon Barwise, Wilfrid Hodges, Hans Kamp, Robert Kowalski, Ewa Orlowska, Amir Pnueli, Vaughan Pratt, Johan Van Benthem
… Mathematics for Verifiably Correct Program Synthesis C. Kreitz 95 Abduction is not Deduction-in-Reverse M…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB