Publication:3888566

From MaRDI portal

Jump to:navigation, search

zbMath0444.68081MaRDI QIDQ3888566

S. Yu. Maslov

Publication date: 1979

zbMATH Keywords

deductive systems; combinatorial rationalization

Mathematics Subject Classification ID

68Q65: Abstract data types; algebraic specification

68T99: Artificial intelligence

94A17: Measures of information, entropy

03B99: General logic

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3888566&oldid=17531896"