TY  - GEN
TY  - GEN
T1  - Logiikka, matematiikka ja tietokone : perusteet: historiaa, filosofiaa ja sovelluksia = Logic, mathematics and the computer : foundations: history, philosophy and applications
T2  - Suomen tekoälyseuran julkaisuja
A2  - Gefwert, Christoffer, 1947-
A2  - Orponen, Pekka, 1959-
A2  - Seppänen, Jouko, 1941-2017
LA  - fin
LA  - eng
PP  - Helsinki
PB  - Suomen tekoälyseura
YR  - 1996
UL  - https://kansalliskirjasto.finna.fi/Record/fikka.3753991
NO  - Järjestäjät = organizers: Suomen tekoälyseura, Tietojenkäsittelytieteen seura, Helsingin yliopisto, Teknillinen korkeakoulu.
NO  - Symposio 3.-4.6.1996 Helsingin yliopisto.
NO  - Sarjanimekkeen yhteydessä myös: Symposiosarja.
SN  - 951-22-3094-1 nidottu
KW  - matematiikka
KW  - matemaattinen logiikka
KW  - tietojenkäsittely
KW  - filosofia
ER  -