Yazar
Mazzara, Manuel. editor. (orcid)0000-0002-3860-4948
Format:
Electronic Resources
Alıntı:
Software Technologies: Applications and Foundations STAF 2018 Collocated Workshops, Toulouse
Yazar
de Moura, Leonardo. editor.
Format:
Electronic Resources
Alıntı:
Automated deduction -- Including foundations -- Applications.-Implementations -- Practical
View Other Search Results
Yazar
Ghosh, Sujata. editor.
Format:
Electronic Resources
Alıntı:
interest include mathematical and philosophical logic, computer science logic, foundations and philosophy
Yazar
Dixon, Clare. editor.
Format:
Electronic Resources
Alıntı:
MaxSAT with a Quantum Annealer: Foundations and a Preliminary Report -- The Boolean Solution Problem from
Arama Sonuçlarını Sınırlandır
Daraltılmış: