Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Tytuł pozycji:

From Constructivism to Logic Programming : an Homage to Mario Ornaghi

Szczegóły
Abstrakt

Tytuł:: From Constructivism to Logic Programming : an Homage to Mario Ornaghi
Autorzy:: Ferrari, M.
Fiorentini, C.
Momigliano, A.
Data publikacji:: 2018
Słowa kluczowe:: logic programming
constructivism
mathematical models
theory of knowledge
numerical analysis
probability theory
Język:: angielski
Dostawca treści:: BazTech
: Artykuł

Przejdź do źródła

In this brief note, we outline Mario Ornaghi’s contributions to the field of computational logic to celebrate his 70th birthday.

Opracowanie rekordu w ramach umowy 509/P-DUN/2018 ze środków MNiSW przeznaczonych na działalność upowszechniającą naukę (2018).

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

From Constructivism to Logic Programming : an Homage to Mario Ornaghi