Logiikka, matematiikka ja tietokone : perusteet: historiaa, filosofiaa ja sovelluksia = Logic, mathematics and the computer : foundations: history, philosophy and applications
Finna-arvio
Logiikka, matematiikka ja tietokone : perusteet: historiaa, filosofiaa ja sovelluksia = Logic, mathematics and the computer : foundations: history, philosophy and applications
Tallennettuna:
Ulkoasu |
vii, 298, [2] s. : kuv ; 25 cm |
---|---|
Kieli |
suomi englanti |
Alkuteoksen kieli |
englanti suomi |
Huomautukset |
Liitteenä ohjelma ja abstraktit (54 s.). Sarjanimekkeen yhteydessä myös: Symposiosarja. Symposio 3.-4.6.1996 Helsingin yliopisto. Järjestäjät = organizers: Suomen tekoälyseura, Tietojenkäsittelytieteen seura, Helsingin yliopisto, Teknillinen korkeakoulu. |
Julkaisija |
[Helsinki] :
Suomen tekoälyseura,
1996
|
Sarja | Suomen tekoälyseuran julkaisuja, ISSN 0785-8140; no 14. Suomen tekoälyseuran julkaisuja, ISSN 0785-8140; 14. |
Luokitus |
Logiikka. Tietoteoria. Epistemologia (udkf 16) Matematiikka (udkf 51) Tietotekniikka. Ohjelmointi. Tietojenkäsittely. Atk. Tietokoneet. Tekoäly (udkf 004) udkx 001 udkx 061.3 udkx 1 udkx 510 udkx 519.6 udkx 681.3 udkx 681.3.01 Atk. Tietotekniikka. Tietoliikenne. Viestintätekniikka (ykl 61) Logiikka (ykl 12) Matematiikka (ykl 51) msc 00.40 acmccs F.4.1 inspec A0210 |
Aiheet | |
Valmistaja | (Hakapaino) |
Lisätiedot | toim. = eds.: Christoffer Gefwert, Pekka Orponen ... Jouko Seppänen |
Sisältö/kappaleet | 11 tietuetta |
ISBN |
951-22-3094-1 pehmeäkantinen |
Kontrolloimaton nimeke |
Logic, mathematics and the computer : foundations: history, philosophy and applications Logic, mathematics and the computer |