Kowalski

Enciclopedia della Matematica (2013)

Kowalski


Kowalski Robert Anthony (Bridgeport, Connecticut, 1941) logico e informatico inglese di origine statunitense. Dopo gli studi di matematica negli Stati Uniti, ottenne il dottorato in computer science all’università di Edimburgo nel 1970 e nel 1982 divenne professore di logica computazionale all’Imperial College di Londra. Si è in particolare interessato di intelligenza artificiale e della dimostrazione automatica dei teoremi e ha dato importanti contributi alla programmazione logica sviluppando una interpretazione procedurale delle clausole di Horn.

Vedi anche
Stiller, Ben Attore, regista e produttore statunitense (n. New York 1965). Figlio degli attori Jerry Stiller (1927-2020) e Anne Meara (1954-2015), ha iniziato la carriera come comico teatrale, ma ha ottenuto i primi riconoscimenti grazie allo show della Nbc Saturday Night Live (1987-89). All’inizio degli anni Novanta ... inglese Lingua ufficiale del Regno Unito di Gran Bretagna e Irlanda del Nord, di alcuni Stati del Commonwealth (Australia, Canada, Nuova Zelanda), delle dipendenze e degli USA; è inoltre la lingua più usata nella Repubblica d’Irlanda, è una delle due lingue ufficiali della Repubblica Sudafricana; è anche alla ... scienza Insieme delle discipline fondate essenzialmente sull’osservazione, l’esperienza, il calcolo, o che hanno per oggetto la natura e gli esseri viventi, e che si avvalgono di linguaggi formalizzati. In particolare, la s. moderna rappresenta l’insieme delle conoscenze quale si è configurato nella sua struttura ...
Tag