Logic for Computer Science /
Shranjeno v:
Main Authors: | Reeves, Steve., Clarke, Michael. (Author) |
---|---|
Format: | Knjiga |
Jezik: | English |
Izdano: |
Wokingham [etc.] :
Addison-Wesley,
1990.
|
Serija: | International Computer Science Series
|
Teme: | |
Oznake: |
Označite
Brez oznak, prvi označite!
|
Podobne knjige/članki
-
Mathematical logic for computer science /
od: Ben-Ari, M.
Izdano: (1993) -
Handbook of logic in computer science.
Izdano: (2000) -
Handbook of logic in computer science.
Izdano: (1992) -
Symbolic logic /
od: Copi, Irving M.
Izdano: (1979) -
Computer science and multiple-valued logic : theory and applications /
Izdano: (1977)