Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl

PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
1958 | 45 | 1 | 334-335

Tytuł artykułu

Applications of formalized consistency proofs II

Autorzy

Treść / Zawartość

Warianty tytułu

Języki publikacji

EN

Abstrakty

Słowa kluczowe

Rocznik

Tom

45

Numer

1

Strony

334-335

Opis fizyczny

Daty

wydano
1958

Twórcy

autor
  • Reading, England
autor
  • Oxford, UK

Bibliografia

Typ dokumentu

Bibliografia

Identyfikatory

Identyfikator YADDA

bwmeta1.element.bwnjournal-article-fmv45i1p334bwm
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ć.