Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Mathematical logic --- 512.56 --- 681.3*F41 --- Lattices, including Boolean rings and algebras --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- 512.56 Lattices, including Boolean rings and algebras --- Electronics. --- Electronics and Microelectronics, Instrumentation. --- Electrical engineering --- Physical sciences --- Algebra, boolean --- Switching theory

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Artificial intelligence --- Logic programming --- Intelligence artificielle --- Programmation logique --- Programmation logique. --- Artificial intelligence. --- Intelligence artificielle.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Logique symbolique et mathématique --- Informatique --- Calcul différentiel

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

French language --- Mathematical linguistics --- Artificial intelligence. Robotics. Simulation. Graphics --- Langage et logique --- Francais (Langue) --- Traitement automatique des langues naturelles --- Informatique --- Traduction automatique --- Francais (Langue) - Informatique --- Francais (Langue) - Traduction automatique --- Francais (langue): informatique --- Langage naturel, traitement du (informatique)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Evangelie naar Johannes --- Evangile selon saint Jean --- Bible. --- Commentaries --- Jesus Christ --- Person and offices --- Biblical teaching --- Bible --- Commentaries. --- Christ --- Cristo --- Jezus Chrystus --- Jesus Cristo --- Jesus, --- Jezus --- Christ, Jesus --- Yeh-su --- Masīḥ --- Khristos --- Gesù --- Christo --- Yeshua --- Chrystus --- Gesú Cristo --- Ježíš --- Isa, --- Nabi Isa --- Isa Al-Masih --- Al-Masih, Isa --- Masih, Isa Al --- -Jesus, --- Jesucristo --- Yesu --- Yeh-su Chi-tu --- Iēsous --- Iēsous Christos --- Iēsous, --- Kʻristos --- Hisus Kʻristos --- Christos --- Jesuo --- Yeshuʻa ben Yosef --- Yeshua ben Yoseph --- Iisus --- Iisus Khristos --- Jeschua ben Joseph --- Ieso Kriʻste --- Yesus --- Kristus --- ישו --- ישו הנוצרי --- ישו הנצרי --- ישוע --- ישוע בן יוסף --- المسيح --- مسيح --- يسوع المسيح --- 耶稣 --- 耶稣基督 --- 예수그리스도 --- Jíizis --- Yéshoua --- Iėsu̇s --- Khrist Iėsu̇s --- ‏عيسىٰ‏ --- Biblical teaching. --- Jean (Book of the New Testament) --- Johanisi (Book of the New Testament) --- Johannesevangelium --- John (Book of the New Testament) --- Yohan pogŭm --- Yohane den (Book of the New Testament) --- Yūḥannā (Book of the New Testament) --- Ioganaĭ (Book of the New Testament) --- Иоганай (Book of the New Testament) --- Jesus Christ - Person and offices - Biblical teaching