Sémantique du temps et lambda-calcul

Verfasser / Beitragende:
Francis Renaud
Ort, Verlag, Jahr:
Paris : Presses Universitaires de France, 1996
Beschreibung:
VIII, 252 S. ; 22 cm
Format:
Buch
ID: 270436812