Jump to main content

yr 〜
yr

Search results 9

Theory and applications of relational structures as knowledge instruments 2 : international workshops of COST Action 274, TARSKI, 2002-2005 : selected revised papers. : ------. (Lecture Notes in Computer Science ; 4342. Lecture Notes in Artificial Intelligence)

Theory and applications of relational structures as knowledge instruments 2 : international workshops of COST Action 274, TARSKI, 2002-2005 : selected revised papers. : ------. (Lecture Notes in Computer Science ; 4342. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2006.<M17-07-808>
National Diet Library

Relational methods in computer science : 6th international conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI, Oisterwijk, The Netherlands, October 16-21, 2001 : revised papers. : Oct 2001, Oisterwijk, the Netherlands. (Lecture Notes in Computer Science ; 2561)

Relational methods in computer science : 6th international conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI, Oisterwijk, The Netherlands, October 16-21, 2001 : revised papers. : Oct 2001, Oisterwijk, the Netherlands. (Lecture Notes in Computer Science ; 2561)
Paper図書
Springer-Verlagc2002.<M17-03-1092>
National Diet Library

Relational methods in computer science : 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI, Oisterwijk, The Netherlands, October 16-21, 2001 : revised papers

Relational methods in computer science : 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI, Oisterwijk, The Netherlands, October 16-21, 2001 : revised papers
Paper図書
Harrie C.M. de Swart (ed.)Springerc2002
Other Libraries in Japan
  • Author HeadingRelMiCS Workshop of COST Action 274 TARSKI Swart, H.C.M. de

Logic and computer science

Logic and computer science
Paper図書
H.C.M. de SwartP. Langc1994
Other Libraries in Japan
  • Author HeadingSwart, H.C.M. de

Perspectives on negation : essays in honour of Johan J. de Iongh on his 80th birthday

Perspectives on negation : essays in honour of Johan J. de Iongh on his 80th birthday
Paper図書
editors, H. C. M. de Swart, L. J. M. BergmanTilburg University Press1995
Other Libraries in Japan

Logic : mathematics, language and philosophy

Logic : mathematics, language and philosophy
Paper図書
H.C.M. de SwartP. Langc1993
Other Libraries in Japan
  • Author HeadingSwart, H.C.M. de

Sets : naïve, axiomatic, and applied : a basic compendium with exercises for use in set theory for non logicians, working and teaching mathematicians and students / by D. Van Dalen, H. C. Doets, H. de Swart. (Pergamon international library of science, technology, engineering, and social studies) (International series in pure and applied mathematics ; v. 106)

Sets : naïve, axiomatic, and applied : a basic compendium with exercises for use in set theory for non logicians, working and teaching mathematicians and students / by D. Van Dalen, H. C. Doets, H. de Swart. (Pergamon international library of science, technology, engineering, and social studies) (International series in pure and applied mathematics ; v. 106)
Paper図書
Pergamon Press1978.<MA41-144>
National Diet Library

Sets : naïve, axiomatic, and applied : a basic compendium with exercises for use in set theory for non logicians, working and teaching mathematicians and students

Sets : naïve, axiomatic, and applied : a basic compendium with exercises for use in set theory for non logicians, working and teaching mathematicians and students
Paper図書
by D. Van Dalen, H.C. Doets, H. de SwartPergamon Press1978
Other Libraries in Japan
  • Author HeadingDalen, D. van (Dirk) Doets, H. C. Swart, H.C.M. de

Logic : mathematics, language, computer science, and philosophy

Logic : mathematics, language, computer science, and philosophy
Paper図書
P. Lang
Other Libraries in Japan

Reached to the end of result.

RSS