Logical Foundations of Computer Science
| अन्य लेखक: | Artemov |
|---|---|
| स्वरूप: | इलेक्ट्रोनिक ई-पुस्तक |
| भाषा: | English |
| प्रकाशित: |
Springer Berlin Heidelberg,
2013
|
| संस्करण: | 1 |
| विषय: | |
| ऑनलाइन पहुंच: | Full text available on Springer Off-campus access |
समान संसाधन
-
Logical Foundations of Mathematics and Computational Complexity
द्वारा: Pudlák
प्रकाशित: (2013) -
Judgement and the Epistemic Foundation of Logic
प्रकाशित: (2013) -
Logics in Computer Science
द्वारा: Mogavero
प्रकाशित: (2013) - Logical Methods in Computer Science | Logical Methods in Computer Science e.V.
- Logical Methods in Computer Science | Logical Methods in Computer Science e.V.