Logic for computer science : foundations of automatic theorem proving /
Kaydedildi:
| Yazar: | |
|---|---|
| Materyal Türü: | Kitap |
| Dil: | İngilizce |
| Baskı/Yayın Bilgisi: |
Nueva York, EUA :
Wiley,
1987, c1987
|
| Konular: | |
| Etiketler: |
Etiket eklenmemiş, İlk siz ekleyin!
|
Benzer Materyaller: Logic for computer science :
- Discrete Mathematics for Computer Science : An Example-Based Introduction/
- Symbolic Logic and Mechanical Theorem Proving /
- Matemáticas discretas : con aplicación a las ciencias de la computación /
- Discrete Mathematics /
- Matemáticas discretas /
- Fundamentals of Discrete Math for Computer Science : A Problem-Solving Primer /