LPAR 2023 Geoff Sutcliffe - Presentación

LPAR-24, Manizales Colombia, 4-9th June 2023. The International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is an academic conference aiming at discussing cutting-edge results in the fields of automated reasoning, computational logic, programming languages and their applications.
Biblioteca Audiovisual FCEN
www.fcen.unal.e...
::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
Producción y Edición: Fernando Gallego - Manuel A Clavijo.
Financiado por la Facultad de Ciencias Exactas y Naturales de la Universidad Nacional de Colombia Sede Manizales.
:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
Music by:
SONG
Education
ARTIST
AudioCoffee