Tárgyszó
automatikus tételbizonyítás
11
automatikus tételbizonyítás -- matematikai logika
matematikai logika
11
Automatic theorem proving
6
logikai programozás
2
mesterséges intelligencia
2
Algorithms (Computer science)
1
Artificial Intelligence (incl. Robotics)
1
Artificial intelligence
1
Computer industry
1
Computer science
1
Computer simulation
1
Data processing
1
Information theory
1
Logic programming
1
Matematika
1
Mathematics -- Data processing
1
Parallel processing (Electronic computers)
1
Programming Languages, Compilers, Interpreters
1
Simulation and Modeling
1
Software Engineering
1
Software engineering
1
The Computing Profession
1
Theory of Computation
1
adatfeldolgozás
1
algoritmus (számítógépes)
1
elektronikus könyv
1
episztemológia
1
ismeretelmélet
1
konferencia
1
konferenciakötet
1
matematika
1
matematika -- adatfeldolgozás
1
modell ellenőrzés
1
modell ellenőrzés -- szoftvertesztelés -- konferencia
1
párhuzamos feldolgozás
1
párhuzamos feldolgozás -- számítógépek
1
szoftverfejlesztés
1
szoftvertesztelés
1
számítógépek
1
tanulmányok
1
verifikáció
1
verifikáció -- szoftverfejlesztés -- konferencia
1