熱門搜尋
您輸入的關鍵字: Logic
搜尋結果共 123 筆, 頁數 1 / 3
呈現:
Each year, students of the Muslim American Logic Institute [M.A.L.I.] select verses and topics to study in an effort to...... more
Computer & Applications Fundamentals Coloring Book For Kids & Adults Learning & Reward Coloring Page... more
Will my bed accommodate their love for schnitzel? I discover later that fourteen pancakes are not en... more
Welcome to these 100 Word Search Puzzles designed to provide endless entertainment to our influentia... more
Cup of Cocoa") in The Providence Times in 2000, it was clear that she was an immense talent; a logical poetist with a...... more
Logic Colloquium 02 includes articles from some of the world s preeminent logicians. The topics span all areas of...... more
This compilation of papers presented at the 2000 European Summer Meeting of the Association for Symbolic Logic marks...... more
A compilation of papers presented at the 1999 European Summer Meeting of the Association for Symbolic Logic, Logic...... more
This book constitutes the joint refereed proceedings of the 17th International Workshop on Computer Science Logic, CSL...... more
Congress of Logic, Methodology and Philosophy of Science, held in Cracow in 1999, under the auspices of the International Union...... more
The Annual Conference of the European Association for Computer Science Logic, CSL 2002, was held in the Old College of...... more
At the beginning of the new millennium, fuzzy logic opens a new challenging perspective in information processing. This...... more
CSL is the annual conference of the European Association for Computer Science Logic (EACSL). CSL2000 is the 14th such...... more
This book comprises revised full versions of lectures given during the 9th European Summer School in Logic, Languages...... more
guide to the current state of mathematical logic. All the authors are leaders in their fields and are drawn from the invited...... more
the current state of mathematical logic. All the authors are leaders in their fields and are drawn from the invited...... more
Science Logic, CSL 97, held as the 1997 Annual Conference of the European Association on Computer Science Logic, EACSL, in...... more
Algorithms: Commented Case Studies in the Coq Proof Assistant.- Some Proof Theory of First Order Logic Programming.- Timed...... more
Science Logic, CSL 96, held as the 5th Annual Conference of the European Association of Computer Science Logic (EACSL), in...... more