Yazar
Davis, Martin. editor.
Format:
Electronic Resources
Alıntı:
Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR
Yazar
Bjørner, Nikolaj. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product
View Other Search Results
Yazar
Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Voronkov, Andrei. editor.
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs.
Yazar
Mazzara, Manuel. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages.
Arama Sonuçlarını Sınırlandır
Daraltılmış: