Kung-kiu Lau (u. A.) | Program Development In Computational Logic |

F. Sadri (u. A.) | Computational Logic: Logic Programming And Beyond |

Gopal Gupta (u. A.) | Parallel Execution Of Logic Programs |

Franco Turini (u. A.) | Logic Program Synthesis And Transformation

Georg Gottlob (u. A.) | Computational Logic And Proof Theory |

Ken Satoh (u. A.) | Computational Logic In Multi-agent Systems |

John Lloyd (u. A.) | Computational Logic ¿ Cl 2000 | Taschenbuch |

Paolo Torroni (u. A.) | Computational Logic In Multi-agent Systems |

Kozo Fujii (u. A.) | Developments In Computational Fluid Dynamics |

Hirohisa Seki (u. A.) | Logic-based Program Synthesis And

Ricardo Peña (u. A.) | Logic-based Program Synthesis And

Computational Logic In Multi-agent Systems Nils Bulling (u. A.)

Shahid Rahman (u. A.) | Developments In Legal Reasoning And Logic |

Babajan B. (u. A.) | Computational Drug Development Strategies To

William Kneale (u. A.) | The Development Of Logic | Taschenbuch |

Olivier Danvy (u. A.) | Automatic Program Development | Buch |