Kapak Resmi

Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings /

This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005), which was held during22–25August2005inOxford,UK.TPHOLscoversallaspectsoftheorem proving in higher order logics as well as related topics in theorem proving and veri?c...

Ful tanımlama

Kaydedildi:
Detaylı Bibliyografya
Müşterek Yazar: SpringerLink (Online service)
Diğer Yazarlar: Hurd, Joe. (Editör, http://id.loc.gov/vocabulary/relators/edt), Melham, Tom. (Editör, http://id.loc.gov/vocabulary/relators/edt)
Materyal Türü: Elektronik Ekitap
Dil:English
Baskı/Yayın Bilgisi: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edisyon:1st ed. 2005.
Seri Bilgileri:Theoretical Computer Science and General Issues ; 3603
Konular:
Computers.
Architecture, Computer.
Mathematical logic.
Computer logic.
Software engineering.
Artificial intelligence.
Theory of Computation.
Computer System Implementation.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Software Engineering.
Artificial Intelligence.
Online Erişim:https://doi.org/10.1007/11541868
Etiketler: Etiketle
Etiket eklenmemiş, İlk siz ekleyin!

Internet

https://doi.org/10.1007/11541868

Benzer Materyaller