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

Michael Felderer author

Format:Paperback

Publisher:VDM Verlag Dr. Mueller E.K.

Published:29th May '08

Currently unavailable, and unfortunately no date known when it will be back

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