Yazar
Blackburn, Patrick. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Foundations. https://scigraph.springernature.com/ontologies/product-market
Yazar
Codish, Michael. editor.
Format:
Electronic Resources
Alıntı:
Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4
View Other Search Results
Yazar
Kiselyov, Oleg. editor.
Format:
Electronic Resources
Alıntı:
Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6
Yazar
Martí-Oliet, Narciso. editor.
Format:
Electronic Resources
Alıntı:
Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th
Yazar
Silva, Josep. editor.
Format:
Electronic Resources
Alıntı:
Functional and Constraint Logic Programming 26th International Workshop, WFLP 2018, Frankfurt/Main
Yazar
Bulling, Nils. editor.
Format:
Electronic Resources
Alıntı:
Computational Logic in Multi-Agent Systems 15th International Workshop, CLIMA XV, Prague, Czech
Yazar
Davis, Martin. editor.
Format:
Electronic Resources
Alıntı:
Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR
Yazar
Mesnard, Fred. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product
Yazar
Escobar, Santiago. editor.
Format:
Electronic Resources
Alıntı:
Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite
Yazar
Lucanu, Dorel. editor.
Format:
Electronic Resources
Alıntı:
Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite
Yazar
Crespi Reghizzi, Stefano. author.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product
Yazar
Chang, Bor-Yuh Evan. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product
Arama Sonuçlarını Sınırlandır
Daraltılmış: