PL
|
EN
Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na
https://bibliotekanauki.pl
Szukaj
Przeglądaj
Pomoc
O nas
Preferencje
Polski
English
Język
Widoczny
[Schowaj]
Abstrakt
10
20
50
100
Liczba wyników
Numer - szczegóły
Adres strony
Kopiuj
Wydawca
Sciendo
Czasopismo
Studies in Logic, Grammar and Rhetoric
Rocznik
2010
Tom
---
Numer
22(35)
Identyfikatory
Okładka
Zawartość wolumenu
22(35)
artykuł:
FORMALIZATION OF PROPOSITIONAL LINEAR TEMPORAL LOGIC IN THE MIZAR SYSTEM
(
Giero M.
), s. 7-21
artykuł:
TEMPORAL-EPISTEMIC LOGIC
(
Surowik D.
), s. 23-28
artykuł:
PRAGMATIC LOGIC AND THE STUDY OF ARGUMENTATION
(
Koszowy M.
), s. 29-45
artykuł:
PHILOSOPHY OF MATHEMATICS AND COMPUTER SCIENCE
(
Trzesicki K.
), s. 47-80
artykuł:
DE RE/DE DICTO DISTINCTIONS (SYNTACTIC, SEMANTIC AND PRAGMATIC INTERPRETATION)
(
Ciesluk A.
), s. 81-94
artykuł:
THE ALGORITHMS FOR IMPROVING AND REORGANIZING NATURAL DEDUCTION PROOFS
(
Pak K.
), s. 95-112
artykuł:
UNCONVENTIONAL PROBABILITIES AND FUZZINESS IN CADIAG'S COMPUTER-ASSISTED MEDICAL EXPERT SYSTEMS
(
Schumann A.
), s. 113-123
artykuł:
DOCUMENT-ORIENTED TRIPLESTORE BASED ON RDF/JSON
(
Tomaszuk D.
), s. 125-140
artykuł:
INFORMATION EXTRACTION FROM WEB PAGES FOR THE NEEDS OF EXPERT FINDING
(
Kaczmarek T.
,
Zyskowski D.
,
Walczak A.
,
Abramowicz W.
), s. 141-157
artykuł:
THE EFFECTIVENESS OF E-LEARNING IN THE CONTEXT OF SELECTED MEDICAL SUBJECTS
(
Poljanowicz W.
,
Latosiewicz R.
), s. 159-166
rozwiń roczniki
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.