サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
ノーベル賞
cseweb.ucsd.edu/~goguen
Institutions 1. Motivation The enormous and still growing diversity of logics used in computer science presents a formidable challenge. One approach to bringing some order to this chaos is to formalize the notion of "a logic" and then systematically study general properties of logics using this formalization, including the representation, implementation, and translation of logics. This is the purp
What's New on this site - What's Cool on the web - Quick Links for this site Joseph Goguen Professor, Dept. of Computer Science & Engineering Director, Meaning and Computation Lab Member, Laboratory for Comparative Human Cognition Member, Interdisciplinary PhD Program of the Cognitive Science Dept. Editor in Chief, Journal of Consciousness Studies Advisory board, Center for Computing & th
このページを最初にブックマークしてみませんか?
『Joseph Goguen』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く