Projekty RCIN i OZwRCIN

Obiekt

On Satisfiability and Decidability in Non-Classical Functional Calculi
Ta publikacja jest chroniona prawem autorskim. Dostęp do jej cyfrowej wersji jest możliwy na terminalach komputerowych w instytucji, która ją udostępnia.
Ta publikacja jest chroniona prawem autorskim. Dostęp do jej cyfrowej wersji jest możliwy na terminalach komputerowych w instytucji, która ją udostępnia.

Tytuł: On Satisfiability and Decidability in Non-Classical Functional Calculi

Kolekcje, do których przypisany jest obiekt:

Data ostatniej modyfikacji:

5 sty 2022

Data dodania obiektu:

23 maj 2017

Liczba pobrań / odtworzeń:

41

Wszystkie dostępne wersje tego obiektu:

https://rcin.org.pl/impan/publication/71237

Wyświetl opis w formacie RDF:

RDF

Wyświetl opis w formacie RDFa:

RDFa

Wyświetl opis w formacie OAI-PMH:

OAI-PMH

×

Cytowanie

Styl cytowania:

Ta strona wykorzystuje pliki 'cookies'. Więcej informacji