Yazar
Symposium on Logic in Computer Science
19 cilt bulundu.
Symposium on Logic in Computer Science (1986 Cambridge, Mass.). · IEEE Computer Society Press
383 sayfa · 1986
Computer programs / Congresses / Correctness / Electronic digital computers / Logic, Symbolic and mathematical
Symposium on Logic in Computer Science (12th 1997 Warsaw, Poland) · IEEE Computer Society Press
447 sayfa · 1997
Computer science / Congresses / Logic, Symbolic and mathematical / Mathematics / Symbolic and mathematical Logic
Symposium on Logic in Computer Science (16th 2001 Boston, Mass.) · IEEE Computer Society
441 sayfa · 2001
Computer science / Congresses / Logic, Symbolic and mathematical / Mathematics / Symbolic and mathematical Logic
Symposium on Logic in Computer Science · Ieee Computer Society
492 sayfa · 1992
Computer science / Congresses / Mathematics / Symbolic and mathematical Logic
Symposium on Logic in Computer Science (11th 1996 New Brunswick, N.J.) · IEEE Computer Society Press
535 sayfa · 1996
Computer science / Congresses / Logic, Symbolic and mathematical / Mathematics / Symbolic and mathematical Logic
Symposium on Logic in Computer Science (17th 2002 Copenhagen, Denmark) · IEEE Computer Society
461 sayfa · 2002
Computer science / Congresses / Logic, Symbolic and mathematical / Mathematics / Symbolic and mathematical Logic
Symposium on Logic in Computer Science (13th 1998 Indianapolis, Ind.) · IEEE Computer Society Press
538 sayfa · 1998
Computer science / Congresses / Logic, Symbolic and mathematical / Mathematics / Symbolic and mathematical Logic
Symposium on Logic in Computer Science (14th 1999 Trento, Italy) · IEEE Computer Society Press
478 sayfa · 1999
Computer science / Congresses / Logic, Symbolic and mathematical / Mathematics / Symbolic and mathematical Logic
Symposium on Logic in Computer Science (10th 1995 San Diego, Calif.) · IEEE Computer Society Press
518 sayfa · 1995
Computer science / Congresses / Logic, Symbolic and mathematical / Mathematics / Symbolic and mathematical Logic
Symposium on Logic in Computer Science (14th 1999 Trento, Italy), IEEE Computer Society, Institute of Electrical and Electronics Engineers · Institute of Electrical & Electronics Enginee
479 sayfa · 1999
Computer Programming / Mathematical theory of computation / Computer Logic / Computers / Computers - General Information
Symposium on Logic in Computer Science (15th 2000 Santa Barbara, California) · IEEE Computer Society Press
425 sayfa · 2000
Computer science / Congresses / Logic, Symbolic and mathematical / Mathematics / Symbolic and mathematical Logic
Symposium on Logic in Computer Science (10th 1995 San Diego) · IEEE Computer Society Press
528 sayfa · 1996
Kategori yok
Symposium on Logic in Computer Science (2nd 1987 Ithaca, N.Y.) · Computer Society Press
361 sayfa · 1987
Algebraic logic
Symposium on Logic in Computer Science (9th 1994 Paris, France) · IEEE Computer Society Press
517 sayfa · 1994
Congresses / Electronic data processing / Electronic digital computers / Logic, Symbolic and mathematical / Symbolic and mathematical Logic
Symposium on Logic in Computer Science (6th 1991 Amsterdam, Netherlands) · IEEE Computer Society Press
417 sayfa · 1991
Computer programming / Congresses / Electronic data processing / Logic, Symbolic and mathematical / Symbolic and mathematical Logic
Symposium on Logic in Computer Science (8th 1993 Montreal, Quebec) · IEEE Computer Society Press
434 sayfa · 1993
Congresses / Electronic data processing / Electronic digital computers / Logic, Symbolic and mathematical / Symbolic and mathematical Logic
Symposium on Logic in Computer Science (5th 1990 Philadelphia, Pa.) · IEEE Computer Society Press
509 sayfa · 1990
Congresses / Electronic data processing / Electronic digital computers / Logic, Symbolic and mathematical / Symbolic and mathematical Logic
Symposium on Logic in Computer Science (6th 1991 Amsterdam, The Netherlands) · IEEE Computer Society Press
417 sayfa · 1991
Congresses / Electronic data processing / Electronic digital computers / Logic, Symbolic and mathematical / Symbolic and mathematical Logic