Résultats de la recherche
Essayez avec cette orthographe : international conference on algebra and logic programming
Cherchez International conference on algebraic and logic programming sur Wikipédia dans une autre langue :
Cherchez International conference on algebraic and logic programming sur un des projets-frères de Wikipédia :
- Wiktionnaire (dictionnaire)
- Wikibooks (livres pédagogiques)
- Wikiquote (citations)
- Wikisource (bibliothèque libre)
- Wikinews (actualités libres)
- Wikiversity (espace pédagogique)
- Wikivoyage (guide touristique)
- Wikidata (base de données)
- Commons (images et médias)
L'article « International conference on algebraic and logic programming » n'existe pas sur ce wiki !
Vous souhaitez le créer ? Vérifiez auparavant que le sujet n'a pas déjà été traité dans les résultats ci-dessous, puis assurez-vous qu'il est admissible dans l'encyclopédie.
Pour créer « International conference on algebraic and logic programming », suivez le guide !
- Arithmetic Properties of Linear Algebraic Groups. Alonzo Church: Logic, Arithmetic, and Automata. Eugene Dynkin: Markov Processes and Problems in Analysis. (en...40 kio (4 428 mots) - 24 mars 2024 à 02:27
Toposes and Modalities”, Journal of Philosophical Logic, 25 (1): 25–43. Reyes, G., 1974, “From Sheaves to Logic”, in Studies in Algebraic Logic, A. Daigneault...62 kio (8 341 mots) - 23 avril 2024 à 22:01- HIGHLIGHTS – Highlights of Logic, Games and Automata ICLP – International Conference on Logic Programming IWOCA – International Workshop On Combinatorial Algorithms...17 kio (1 470 mots) - 26 avril 2023 à 07:20
SDL-2010 », Union internationale des télécommunications, 1er septembre 2015. Miro Samek, Practical Statecharts in C/C++ : Quantum Programming for Embedded...45 kio (5 161 mots) - 17 juillet 2023 à 19:13- semirings, algebraic systems and pushdown automata », dans Michael S. Paterson (éditeur), Automata, Languages and Programming (17th International Colloquium...24 kio (3 053 mots) - 23 mai 2023 à 16:12
- Interconnection Networks (en) Journal of Logic and Computation Journal of Logical and Algebraic Methods in Programming (en) Journal of Machine Learning Research...11 kio (1 022 mots) - 12 novembre 2023 à 12:25
- Journal of Logic and Algebraic Programming, 64 (1), 2005 : 135-154. R. Zumkeller, Formal global optimisation with Taylor models, In International Joint Conference...7 kio (955 mots) - 22 mars 2024 à 12:30
- Constraint Logic Programming », Theory and Practice of Logic Programming, vol. 19, nos 5-6 (35th International Conference on Logic Programming), 2019,...23 kio (3 268 mots) - 24 avril 2023 à 19:16
- Consulté le 11 septembre 2016 (allemand). Editorial Board: Logic, Semantics and Theory of Programming (TCS-B) Editorial Board of IJSI Editorial Board of EPTCS...12 kio (1 190 mots) - 23 mars 2024 à 15:50
- edu/~gary/ Gary Lindstrom's website Giorgio Levi. Algebraic and Logic Programming: Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings...2 kio (275 mots) - 29 janvier 2024 à 22:06
