Integration of object-oriented and logic programming

    Project: Research project

    Research Output

    • 6 Book/Film/Article review
    • 4 Article
    Filter
    Book/Film/Article review
    1997

    Review of the book Logical Reasoning with Diagrams, G. Allwein & J. Barwise, 1997

    de Swart, H. C. M., 1997, In : Zentralblatt für Mathematik und ihre Grenzgebiete. 870.03002

    Research output: Contribution to journalBook/Film/Article reviewOther research output

    Review of the book Towards a Model Theory of Diagrams, E. Hammer & N. Danner, 1997

    de Swart, H. C. M., 1997, In : Zentralblatt für Mathematik und ihre Grenzgebiete. 860.03036

    Research output: Contribution to journalBook/Film/Article reviewOther research output

    Review of the book What is ceteris paribus preference?, S.O. Hansson, 1997

    de Swart, H. C. M., 1997, In : Zentralblatt für Mathematik und ihre Grenzgebiete. 859.03002

    Research output: Contribution to journalBook/Film/Article reviewOther research output

    Review of the book How to prove it: a structured approach, D.J. Velleman, 1996

    de Swart, H. C. M., 1996, In : Zentralblatt für Mathematik und ihre Grenzgebiete. 816.00004, p. 309

    Research output: Contribution to journalBook/Film/Article reviewOther research output

    Review of the book The Logical Status of Diagrams, S.J. Shin, 1996

    de Swart, H. C. M., 1996, In : Zentralblatt für Mathematik und ihre Grenzgebiete.

    Research output: Contribution to journalBook/Film/Article reviewOther research output