scientific article; zbMATH DE number 3446440

zbMath0284.68068MaRDI QIDQ4770509

Z. Zwinogrodzki, Ivan Kramosil

Publication date: 1974

Full work available at URL: https://eudml.org/doc/27683

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Related Items

Unnamed Item

Cites Work

• Untersuchungen über das logische Schliessen. II
• Linear reasoning. A new form of the Herbrand-Gentzen theorem
• Theorem-Proving on the Computer
• A Machine-Oriented Logic Based on the Resolution Principle
• Statistical Studies of Theoremhood in Classical Propositional and First Order Predicate Calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item