TY - BOOK ID - 5246727 TI - Types for proofs and programs : international workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers AU - Altenkirch, Thorsten AU - TYPES '98 (1998 : Benediktinerabtei Irsee, Germany) PY - 1999 VL - 1657 SN - 3540665374 3540481672 9783540665373 PB - Berlin: Springer, DB - UniCat KW - Automatic theorem proving KW - Computer programming KW - Type theory KW - Théorèmes KW - Programmation (Informatique) KW - Types, Théorie des KW - Congresses. KW - Démonstration automatique KW - Congrès KW - Computer Science KW - Engineering & Applied Sciences KW - Théorèmes KW - Types, Théorie des KW - Démonstration automatique KW - Congrès KW - Computer science. KW - Programming languages (Electronic computers). KW - Computers. KW - Computer logic. KW - Mathematical logic. KW - Artificial intelligence. KW - Computer Science. KW - Theory of Computation. KW - Logics and Meanings of Programs. KW - Mathematical Logic and Formal Languages. KW - Programming Languages, Compilers, Interpreters. KW - Artificial Intelligence (incl. Robotics). KW - Logic, Symbolic and mathematical KW - Information theory. KW - Logic design. KW - Artificial Intelligence. KW - Informatics KW - Science KW - AI (Artificial intelligence) KW - Artificial thinking KW - Electronic brains KW - Intellectronics KW - Intelligence, Artificial KW - Intelligent machines KW - Machine intelligence KW - Thinking, Artificial KW - Bionics KW - Cognitive science KW - Digital computer simulation KW - Electronic data processing KW - Logic machines KW - Machine theory KW - Self-organizing systems KW - Simulation methods KW - Fifth generation computers KW - Neural computers KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Switching theory KW - Communication theory KW - Communication KW - Cybernetics KW - Computer languages KW - Computer program languages KW - Computer programming languages KW - Machine language KW - Languages, Artificial KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Mathematics KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Computer science logic KW - Automatic computers KW - Automatic data processors KW - Computer hardware KW - Computing machines (Computers) KW - Electronic calculating-machines KW - Electronic computers KW - Hardware, Computer KW - Computer systems KW - Calculators KW - Cyberspace KW - Automatic theorem proving - Congresses KW - Computer programming - Congresses KW - Type theory - Congresses UR - https://www.unicat.be/uniCat?func=search&query=sysid:5246727 AB - ER -