Search alternatives:
automata » automated, automatic

1
by Shramko, Yaroslav, Wansing, Heinrich
Published 2012
Springer Netherlands
Subjects: ...Formal Languages and Automata Theory...

2
Published 2008
Springer Berlin Heidelberg
Subjects: ...Formal Languages and Automata Theory...

3
Published 1992
Springer Berlin Heidelberg
Table of Contents: ... for non-horn theories -- Reasoning with negative information, II: Hard negation, strong negation and logic...