Cover Image

Assoziative Prozessoren Werner Dilger, Otto Mayer, Jürgen Müller

Saved in:

Bibliographic Details
Main Author:	Dilger, Werner
Other Authors:	Mayer, Otto, Müller, Jürgen
Format:	Book
Language:	German
Published:	Kaiserslautern 1983
Series:	Interner Bericht. Fachbereich Informatik. Universität Kaiserslautern 85
Tags:	Add Tag No Tags, Be the first to tag this record!
Order eBook:
Order Book:	Login to order

Cover Image

A Theorem proving associative processor. by Dilger, Werner

Published 1985

Book

Cover Image

Theorembeweisen mit assoziativen Prozessoren. by Dilger, Werner

Published 1985

Book

Cover Image

A Unification graph with constraints for intelligent backtracking in deduction systems. by Dilger, Werner

Published 1984

Book

Cover Image

Baumgesteuerte Grammatiken. by Dilger, Werner

Published 1983

Book

Cover Image

Einführung in die Markgraf Karl Refutation Procedure by Dilger, Werner

Published 1981

Book