ESPRIT '88: Putting the Technology to Use : Proceedings of the 5th Annual ESPRIT Conference, Brussels, November 14-17, 1988, Part 2North-Holland, 1988 - 1759 pages |
From inside the book
Results 1-3 of 16
Page 1260
... Prolog [ DR87 ] and that has also been used for the derivation of an executable form . The semantics of PARLOG is presented in full in the joined appendix and will serve any reader acquainted with logic programming to judge its ...
... Prolog [ DR87 ] and that has also been used for the derivation of an executable form . The semantics of PARLOG is presented in full in the joined appendix and will serve any reader acquainted with logic programming to judge its ...
Page 1272
... PROLOG , Fourth IEEE symposium on Logic Programming , August 24 - September 4 , 1987 , San Francisco . DERANSART P. , MALUSJINSKI j .: A Grammatical view of Logic Programming , PLILP 88 , Orléans , May 1988 . DERANSART P. RICHARD G ...
... PROLOG , Fourth IEEE symposium on Logic Programming , August 24 - September 4 , 1987 , San Francisco . DERANSART P. , MALUSJINSKI j .: A Grammatical view of Logic Programming , PLILP 88 , Orléans , May 1988 . DERANSART P. RICHARD G ...
Page 1754
... Prolog 892 423 1117 826 Prolog knowledge base structuration 530 659 Prolog - based Prototyping 892 405 protocol 718 1686 prototyping 401 380 prototyping 1257 492 quality 1257 492 quality control 1136 1600 quasi - initial model 348 365 ...
... Prolog 892 423 1117 826 Prolog knowledge base structuration 530 659 Prolog - based Prototyping 892 405 protocol 718 1686 prototyping 401 380 prototyping 1257 492 quality 1257 492 quality control 1136 1600 quasi - initial model 348 365 ...
Contents
Client Design for the MULTOS Multimedia Office Filing System | 893 |
Speech Integration in an Office Demonstrator Project | 906 |
Natural Language Dialogue in an Office Environment Project | 917 |
Copyright | |
56 other sections not shown
Common terms and phrases
abstract Abstract Syntax Notation activities algorithm allows analysis application architecture basic block CACTUS CCITT cell CFRV client CNMA COMANDOS communication complex components Computer concept configuration data base database defined definition demonstration described Directory Service distributed document domain dynamic ECMA entities environment ESPRIT Project evaluation FAOR Figure formal FTAM functions gateway graphical hardware identified implementation input integration interaction internal language layer layout logical machine Mailbox manufacturing messages method methodology module node object operating system PANGLOSS performance Petri nets phase planning procedure production protocol query QUIPU requirements robot schema selected semantics server SGML simulation slot specification standard structure subnetwork subsystem task techniques THORN UNIX uptake User Agent User Interface user organisation WLib workcells workstation