Type inference for first order logic

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł
Tytuł publikacjiType inference for first order logic
Adres internetowy
Tytuł czasopismaLECTURE NOTES IN COMPUTER SCIENCE
Medium
Tom1784
Zeszyt
Rok wydania2000
Od strony297
Do strony314
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2000

Lista autorów
  
 1. Aleksy Schubert, Zakład Logiki Stosowanej [Współautor]