Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł
Tytuł publikacji Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas
Adres internetowy
Tytuł czasopismaINTERNATIONAL JOINT CONFERENCE ON ARTIFFICIAL INTELIGENCE
Medium
Tom
Zeszyt
Rok wydania2001
Od strony145
Do strony151
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2001

Lista autorów
  
 1. P. Doherty, Jednostka zewnetrzna [Współautor]
 2. Witold Łukaszewicz, Instytut Informatyki [Współautor]
 3. Andrzej Szałas, Instytut Informatyki [Współautor]