Podobné jednotky

• Constraints in computational logics : theory and applications : International Summer School, CCL '99 : Gif-sur-Yvette, France, September 5-8, 1999 : revised lectures /
  Vydáno: (2001)
• Gesture-based communication in human-computer interaction : International Gesture Workshop, GW '99 : Gif-sur-Yvette, France, March 17-19, 1999 : proceedings /
  Vydáno: (1999)
• Logic, algebra, and computation /
  Vydáno: (1991)
• Logic and computation : Interactive proof with Cambridge LCF /
  Autor: Paulson, Lawrence C., 1955-
  Vydáno: (1987)
• Handbook of logic in computer science.
  Vydáno: (1992)