Combining First-Order Logic and Logic Programming Using Fol-programs

Combining

von Michael Felderer

Taschenbuch

ISBN-13: 978-3-639-03325-0

ISBN-10: 3-639-03325-6

VDM Verlag · 2008