Map
Index
Random
Help
th

Quote: resolution may be the first complete system of first-order logic using just one inference principle

QuoteRef: robiJA1_1965 , p. 24



Topic:
logic
Topic:
logic programming

Quotation Skeleton

(as far as the author is aware) no …   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: logic (84 items)
Topic: logic programming (34 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.