MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "A Machine-Oriented Logic Based on the Resolution Principle." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 6 documents found, showing 1 through 6.
ATOM RSS
  • Automated Reasoning (Bibliography)  
  • by A. Degtyarev, A. Voronkov, Formal Techniques — 1997
  • …--213. Springer Verlag, 1970. [Rob 65] J.A. Robinson. A machine-oriented logic based on the resolution principle…
  • Add To MetaCart
  • A Resolution Priciple for Clauses with Constraints  
  • by Hans-Jürgen Bürckert, Michael Hefert, Parsen Generieren, Jirgen Miller, Donald Steiner (hrsg, Kooperierende Agenten, Martin Buchheit, Klassische Kommunikations, Enno Tolzmann, Martin Harm, Knut Hinkelmann, Thomas Labisch, Klaus-peter Gores, Rainer Bleisinger, Ein Modell, Thom Frihwirth Terminological, Stephan Busemann — 1990
  • …. Robinson. A Machine Oriented Logic Based on the Resolution Principle. Journal of the ACM 12(1), 1965 M…
  • Add To MetaCart
  • Effective Interpolation  
  • by Jan Krajicek — 1997
  • … and public-key cryptosystems, ACM Communications, 21, pp. 120-126. [92] Robinson, J., A. (1965) A machine-oriented…
  • Add To MetaCart
  • Theorem Provers Survey  
  • by R. Castelló, R. Mili — 1998
  • …. Robinson in his famous paper "A MachineOriented Logic Based on the Resolution Principle"[17…
  • Add To MetaCart
  • Chapter 5 Linear Logic Programming  
  • by Linear Logic Programming
  • … logic based on the resolution principle. Journal of the ACM, 12(1):23–41, January 1965. [Rob71] J. A…
  • Add To MetaCart
Help! Showing 1 through 6.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB