Opis

• Tytuł:
  Przegląd formalnych metod semantycznych
• Twórca:
  Hajnicz, Elżbieta
• Opis:
  Prace IPI PAN/ICS PAS Reports. Nr 965, 104 s.
• Dostępność obiektu:
  Dostęp otwarty
• Typ:
  report
• Język:
  polski
• Źródło:
  b 1426/965
• Format:
  application/pdf
• Wydawca:
  Instytut Podstaw Informatyki PAN
• Relacja:
  Prace IPI PAN. Utworzone w 1970 r. Do numeru 278 (1977) pod tytułem Prace CO PAN (CC PAS Reports) wydawane przez Centrum Obliczeniowe PAN.
• Temat i słowa kluczowe:
  formalizmy logiczne;
  podejście teoriomodelowe;
  semantyka języka naturalnego
• Dostawca danych:
  Repozytorium Biblioteka Cyfrowa - Instytut Podstaw Informatyki PAN
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  teksty