Italiano
English Indonesia Türkçe Deutsch Español Português Pусский Français Italiano Nederlands Polski العربية ไทย Tiếng Việt 繁體中文 简体中文 日本語 한국어

#logicprogramming risultati di ricerca

Nessun risultato per "#logicprogramming"
MCIS_Cadiz's profile picture. Grupo de Investigación Mathematics for Computational Intelligence Systems de Cádiz. Líderes de la action COST @DIGFORASP, colaboradores con @GENPuertoReal.
M·CIS
 @MCIS_Cadiz
18 nov

Instead of relying on a single fuzzy logic, the multi-adjoint paradigm allows several conjunction–implication pairs to coexist. 👉 Providing a richer and more flexible logical language. #LogicProgramming #FuzzyLogic #MathematicalModeling

1
0
0
0
17
Ipetrus_BimArq's profile picture. I am a freelance BIM (Building Information Modeling) designer. Eu gosto de 🎼 de 📸 de 📚. I seek to work with disruptive technologies. Eu sou Brasileiro 🌎
Pedro S. C.
@Ipetrus_BimArq
13 nov

#BuiltWithCaffeine #LogicProgramming #linguistics #InternetComputer #CreatorEconomy How many people can watch the video until the end (sketch of a neighborhood)? The models in the video were built in the BIM application (made in Caffeine.ai). It will be a Design…

1
0
0
0
718
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
8 nov

Interested in submitting your article to Theory and Practice of Logic Programming? Click here for more information. 📚 cup.org/3WV21Rb #logic #logicprogramming

CUP_SciEng's tweet image. Interested in submitting your article to Theory and Practice of Logic Programming? Click here for more information. 📚 cup.org/3WV21Rb #logic #logicprogramming
0
0
0
0
63
Ipetrus_BimArq's profile picture. I am a freelance BIM (Building Information Modeling) designer. Eu gosto de 🎼 de 📸 de 📚. I seek to work with disruptive technologies. Eu sou Brasileiro 🌎
Pedro S. C.
@Ipetrus_BimArq
4 nov

#BuiltWithCaffeine #LogicProgramming #CreativeProcess #Creativity #InternetComputer Development of a more refined home screen and interface for the Interactive Memory Palace application. Writing new features during this week of testing.

0
0
0
0
273
Ipetrus_BimArq's profile picture. I am a freelance BIM (Building Information Modeling) designer. Eu gosto de 🎼 de 📸 de 📚. I seek to work with disruptive technologies. Eu sou Brasileiro 🌎
Pedro S. C.
@Ipetrus_BimArq
2 nov

#CreatorEconomy #BuiltWithCaffeine #LogicProgramming #CreativeProcess #Creativity Testing phase of the other application. The image reveals little information about its functionalities. However, the previous application already had some of them. The text was read directly from…

1
0
0
0
379
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
13 ago

Check out the most-read articles from Theory and Practice of Logic Programming here: 📚 cup.org/41slGKI #logic #logicprogramming

CUP_SciEng's tweet image. Check out the most-read articles from Theory and Practice of Logic Programming here: 📚 cup.org/41slGKI #logic #logicprogramming
0
0
0
0
50
KSasagawa888's profile picture. I love guitar. I love Lisp&Prolog. I love toy. エレキギターとLisp＆Prologとプラモデルを愛する変なおっさん。
@sasagawa888
 @KSasagawa888
20 lug

Just published my new ebook on Prolog! It's packed with fun experiments, real examples, and covers topics like biology, quantum computing, and cryptography — all using Prolog. Check it out: amazon.com/dp/B0FJ6TNJY3 #Prolog #LogicProgramming #ebooks

KSasagawa888's tweet card. Prolog for the Intellectual Adventurer
Prolog for the Intellectual Adventurer
Fonte: amazon.com
5
6
25
8
2K
Jose_A_Alonso's profile picture. Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
José A. Alonso
 @Jose_A_Alonso
12 lug

Proof theory and logic programming: Computation as proof search. ~ Dale Miller. lix.polytechnique.fr/Labo/Dale.Mill… #Logic #ProofTheory #LogicProgramming

0
0
8
4
316
Jose_A_Alonso's profile picture. Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
José A. Alonso
 @Jose_A_Alonso
12 lug

Teaching logic programming: a review. ~ Serhiy O. Semerikov et als. elibrary.kdpu.edu.ua/bitstream/1234… #LogicProgramming #Prolog #ASP #CLP

0
1
4
2
294
Nessun risultato per "#logicprogramming"
Nessun risultato per "#logicprogramming"

Something went wrong.


Something went wrong.


United States Trends