Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Annotated Logic Programming



    Conference:

    National aerospace and electronics conference ; 1995 ; Dayton; OH



    Publication date :

    1995-01-01


    Size :

    5 pages


    Remarks:

    Vol 2 of 2 vols only rec'd. Also known as NAECON 1995. IEEE Cat no 95CH35797




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Annotated logic programming

    Thirunarayan, K. | IEEE | 1995


    An Automated Safety Verification System for Railway Interlocking Based on Extended Vector Annotated Logic Programming

    Nakamatsu, K. / Nagashima, J. / Abe, J. M. et al. | British Library Conference Proceedings | 2001


    Logic and Programming

    Parent, Michel | TIBKAT | 1984


    Logic Programming for expert systems

    Hammond, Peter | TIBKAT | 1980


    Constraint logic programming and scheduling

    Esquirol, P. / Lopez, P. | British Library Online Contents | 1995