JEDNOSTKA NAUKOWA KATEGORII A+

Algebraic treatment of the notion of satisfiability

Tom 40 / 1953

H. Rasiowa, Roman Sikorski Fundamenta Mathematicae 40 (1953), 62-95 DOI: 10.4064/fm-40-1-62-95

Autorzy

  • H. Rasiowa
  • Roman Sikorski

Przeszukaj wydawnictwa IMPAN

Zbyt krótkie zapytanie. Wpisz co najmniej 4 znaki.

Przepisz kod z obrazka

Odśwież obrazek

Odśwież obrazek