Filtra i risultati

Soggetti

Tipologia

Cerca per titolo, autore, soggetto

Risultati ricerca

Risultati 260-280 di 481

Logic programming languages

constraints, functions, and objects

The semantics of programming languages

an elementary introduction using structural operational semantics

  • Hennessy, Matthew

Languages and machines [+]

an introduction to the theory of computer science

  • Sudkamp, Thomas A.

Categories, types and structures

an introduction to category theory for the working computer scientist

  • Asperti, Andrea

Semantics of programming languages

structures and techniques

  • Gunter, Carl A.

Transductions rationelles

application aux langages algebriques

  • Autebert, Jean Michel

Logic programming '88

proceedings of the 7. conference, Tokyo, Japan, April 11-14, 1988

Programming languages implementation and logic programming

International workshop PLILP '88, Orleans, France, May 16-18, 1988 : proceedings

  • International workshop PLILP 1. Orleans 1988

Temporal logic in specification

Altrincham, UK, April 8-10, 1987 : proceedings

Logic programming '87

proceedings of the 6. Conference, Tokyo, Japan, June 22-24, 1987