Ładuje się......

Logic programming: operational semantics and proof theory

Opis bibliograficzny
1. autor: Andrews, James H
Format: Printed Book
Język:English
Wydane: Camgridge Cambridge University press 1992
Hasła przedmiotowe:

DCA

Szczegóły zapisu DCA
Egzemplarz Możliwość dostępu nieznana