Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
<< vorige    volgende >>
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
           Alle artikelen van de bijbehorende aflevering
                                       Details van artikel 4 van 24 gevonden artikelen
 
 
  A first‐order representation of stable models[1]A preliminary version of this paper has appeared in: Proc. 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR ’97), J. Dix, U. Furbach and A. Nerode, eds, LNCS 1265, Springer, 1997.
 
 
Titel: A first‐order representation of stable models[1]A preliminary version of this paper has appeared in: Proc. 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR ’97), J. Dix, U. Furbach and A. Nerode, eds, LNCS 1265, Springer, 1997.
Auteur: Eiter, Thomas
Lu, James
Subrahmanian, V.S.
Verschenen in: AI communications
Paginering: Jaargang 11 (1998) nr. 1 pagina's 53-73
Jaar: 1998
Inhoud:
Uitgever: IOS Press, Van Diemenstraat 94, 1013 CN Amsterdam, The Netherlands
Bronbestand: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details van artikel 4 van 24 gevonden artikelen
 
<< vorige    volgende >>
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland