Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Annotated Logic Programming



    Kongress:

    National aerospace and electronics conference ; 1995 ; Dayton; OH



    Erscheinungsdatum :

    01.01.1995


    Format / Umfang :

    5 pages


    Anmerkungen:

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




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    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