Yazar
Ayala-Rincón, Mauricio. author.
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Colinet, Margot. editor.
Format:
Electronic Resources
Alıntı:
Pristine Perspectives on Logic, Language, and Computation ESSLLI 2012 and ESSLLI 2013 Student
View Other Search Results
Yazar
Blackburn, Patrick. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Foundations. https://scigraph.springernature.com/ontologies/product-market
Yazar
Khan, Md. Aquil. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Formal Languages. https://scigraph.springernature.com/ontologies/product
Yazar
Ghosh, Sujata. editor.
Format:
Electronic Resources
Alıntı:
Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I
Yazar
Codish, Michael. editor.
Format:
Electronic Resources
Alıntı:
Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4
Yazar
Baltag, Alexandru. editor.
Format:
Electronic Resources
Alıntı:
Mathematical Logic and Foundations. http://scigraph.springernature.com/things/product-market-codes
Yazar
Kiselyov, Oleg. editor.
Format:
Electronic Resources
Alıntı:
Functional and Logic Programming 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6
Yazar
Banerjee, Mohua. editor.
Format:
Electronic Resources
Alıntı:
Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015
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
van der Hoek, Wiebe. editor.
Format:
Electronic Resources
Alıntı:
Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October
Yazar
Lachiche, Nicolas. editor.
Format:
Electronic Resources
Alıntı:
Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6
Arama Sonuçlarını Sınırlandır
Daraltılmış: