Language generation and recognition over terms

From MaRDI portal

Publication:582923

Jump to:navigation, search

zbMath0691.68081MaRDI QIDQ582923

A. V. Babichev

Publication date: 1988

Published in: Automation and Remote Control (Search for Journal in Brave)

zbMATH Keywords

Horn clauses logic programming Logical inference RL automata simple Horn systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Artificial intelligence (68T99) General topics in the theory of software (68N01)

This page was built for publication: Language generation and recognition over terms

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