Laurent Cervoni

Subjects

Computers, Computers - Languages / Programming, Computers / Programming / General, Computers / Programming Languages / General, Formale Spezifikation, Industrial quality control, Logic programming, Logische Programmierung, Programming Languages - General, Programming Languages - Prolog, Prolog, Prolog (Computer program langu, Prolog (Computer program language), Prolog (Programming Language), Prolog (computer program language), Science/Mathematics, Sprachbeschreibung, Standard, formal specification, language description