Logic, form and functionde J. A. RobinsonMateriasForm (Logic)InferencePredicate calculusReasoningEdiciones (1)Logic, form and function (1979)North-Holland · inglésMás obras de J. A. RobinsonHandbook of logic in artificial intelligence and logic programmingNatural and artificial parallel computationComputational logic
FFortschritte der Chemie Organischer Naturstoffe / Progress iFortschritte der Chemie Organischer Naturstoffe / Progress in the Chemistry of Organic Natural Products
HHandbook of Logic in Artificial Intelligence and Logic ProgrHandbook of Logic in Artificial Intelligence and Logic Programming Volume 5
