Logic programming based on a natural deduction system / by A. Seif Haridi.
-
- Haridi, Seif, 1953- (författare)
-
-
Alternativt namn: Haridi, A. Seif, 1953-
- Publicerad: Stockholm, 1981
- Engelska [6], 201 s.
-
Serie: Trita-CS, 0347-1179 ; 8104
Ämnesord
Stäng
Ämnesord
- Programmering
Klassifikation
- 519.68 (UDK)
- 001.642 (DDC)
- Pu (kssb)
Inställningar
Hjälp
Titeln finns på 6 bibliotek.
Ange som favoritAnge som favorit
-
Uppsala universitetsbibliotek, Carolinabiblioteket (U)Ange som favorit
-
Mina lånLåna/reservera
-
-
Placering: Sv Diss. Sthlm: Tekn. högsk. fol
Utlånad?Öppettider, adress m.m.
Ange som favoritAnge som favoritAnge som favorit
-
Lunds universitets bibliotek, Universitetsbiblioteket, UB (L)Ange som favorit
-
Titeln i bibliotekets lokala katalog
-
-
Placering: pfP s896:, 8104
Utlånad?Öppettider, adress m.m.