?
1
Advanced boolean techniques
selected papers from the 13th international workshop on boo...
Exemplar:
Zentrale:Magazin 03.d.2916
?
2
Introduction to logic programming
Synthesis lectures on artificial intelligence and machine learning ; #44;Computer & information science, collection eleven;Synthesis digital library of engineering and computer science
?
3
Formal methods in computer science
Textbooks in mathematics
Exemplar:
Zentrale:E02 a inf 420 e/426
?
5
A first course in fuzzy logic
Textbooks in mathematics
Exemplar:
Zentrale:E02 a inf 410 fuz/612(4)
?
?
10
Subjective Logic
A Formalism for Reasoning Under Uncertainty
Artificial Intelligence: Foundations, Theory, and Algorithms;Artificial Intelligence: Foundations, Theory, and Algorithms Ser.
?
12
Bridging constraint satisfaction and Boolean satisfiability
Artificial intelligence: foundations, theory, and algorithms
Exemplar:
Zentrale:E02 a inf 410 con/739
?
13
Formalized probability theory and applications using theore..
Research essentials
Exemplar:
Zentrale:E02 a inf 440 ver/525
?
15
Logikkalküle in der Informatik
Wie wird Logik vom Rechner genutzt?
Studienbücher Informatik;Lehrbuch
Exemplar:
Zentrale:E02 a inf 410 ef/378