Yazar
Carolyn Talcott
12 cilt bulundu.
Farhad Arbab, Carolyn L. Talcott · Springer London, Limited
406 sayfa · 2002
Parallel processing (Electronic computers) / Distributed processing / Congresses / Electronic data processing / Computer science
Solomon Feferman, Wilfried Sieg, Carolyn L. Talcott · Association for Symbolic Logic
444 sayfa · 2002
Symbolic and mathematical Logic / Philosophy / Congresses / Mathematics / Logic, symbolic and mathematical
Robert Heinrich, Francisco Durán, Carolyn Talcott, Steffen Zschaler · Springer International Publishing AG
270 sayfa · 2021
Kategori yok
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott · Springer
800 sayfa · 2007
Artificial intelligence / Computer science / Software engineering / Human information processing / Logic
Carolyn L. Talcott · Dept. of Computer Science, Stanford University
237 sayfa · 1985
LISP (Computer program language)
Wilfried Sieg, Richard Sommer, Carolyn Talcott · Cambridge University Press
Sayfa sayısı yok · 2017
Logic, symbolic and mathematical
Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott · Springer International Publishing AG
Sayfa sayısı yok · 2015
Logic, symbolic and mathematical / Computer programming
Vivek Nigam, Tajana Ban Kirigin, Carolyn Talcott, Joshua Guttman, Stepan Kuznetsov · Springer International Publishing AG
Sayfa sayısı yok · 2020
Kategori yok