Summary goes here
সংরক্ষণ করুন:
| বিন্যাস: | গ্রন্থ |
|---|---|
| ভাষা: | ইংরেজি |
| বিষয়গুলি: | |
| ট্যাগগুলো: |
ট্যাগ যুক্ত করুন
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 14a0803d-ca02-4f2b-ac43-7c5e24ac0aa6 |
| isbn | 9783642024443 3642024440 3642024432 9783642024436 9788364202445 8364202448 |
| issn | |
| language | eng |
| physical | 1 online resource (viii, 322 pages) :illustrations |
| publication | – publisher: Springer dateOfPublication: 2009 |
| publishDate | 2009 |
| subjects | |
| title | Types for proofs and programs : international conference, TYPES 2008, Torino, Italy, March 26-29, 2008 : revised selected papers / Stefano Berardi, Ferruccio Damiani, Ugo de' Liguoro (eds.). |
| topic | Automatic theorem proving Computer programming Artificial intelligence. Artificial Intelligence Electronic Data Processing Théorèmes Programmation (Informatique) Intelligence artificielle. artificial intelligence. Informatique. Automatic theorem proving Computer programming Beweistheorie Programmierung Typentheorie Typsystem HOL Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. Kongress. Turin (2008) |