czat telefon formularz poczty 

 Strona główna 
 Wyszukiwanie 
 Konto czytelnika 
 Katalogi bibliotek poznańskich 
en   
AlfabetycznePo słowachZaawansowaneHistoria wyszukiwaniaZgłoś propozycję zakupu
Szukaj:    Zmień kryteria wyszukiwania  
> Biblioteka Politechniki Poznańskiej
 
Egzemplarze
 EgzemplarzeEgzemplarze
 
 
 Hasła przedm.
 
  •  
  • Wnioskowanie -- modele matematyczne -- rozprawy akademickie.
     
  •  
  • Systemy ekspertowe (informatyka) -- rozprawy akademickie.
     
  •  
  • Logika pierwszego rzędu -- informatyka -- rozprawy akademickie.
     
     Przegląd katalogu
     
      wg tytułu:
     
  •  
  •  Konstruowanie system...
     
     
     
     Opis MARC
    Konstruowanie systemów wnioskujących klasy lean dla logiki pierwszego rzędu / Adam Meissner.
    Poznań : Wydawnictwo Politechniki Poznańskiej, 2016.
    Hasła przedm.
  • Wnioskowanie -- modele matematyczne -- rozprawy akademickie.
  •  
  • Systemy ekspertowe (informatyka) -- rozprawy akademickie.
  •  
  • Logika pierwszego rzędu -- informatyka -- rozprawy akademickie.
  • Źródło elektronicznehttps://sin.put.poznan.pl/publications/details/n18355 Dostęp tylko z komputerów Biblioteki Politechniki Poznańskiej.
    ISBN: 
    978-83-7775-413-9
    Serie: 
    Rozprawy - Politechnika Poznańska nr 538
    Opis: 
    202, [1] s. : il. ; 24 cm.
    Uwagi o zawartości: 
    Bibliogr. s. 190-202.
    Tekst pol., streszcz. ang., pol.
    Książka dostępna również online.
    Dodaj do listy podr. 
    Egzemplarze
    LokalizacjaKolekcjaSygnaturaStatusTypDział 
    Biblioteka Politechniki Poznańskiejczytelnia ogólnaCzO 186840w czytelniNie wypożyczaneB 
    Biblioteka Politechniki Poznańskiejmagazyn głównyMg 186842na półceWypożyczane na zewnątrz z kolekcji Mg  
    Biblioteka Politechniki PoznańskiejCzytelnia Oddziału Inf.-NaukowejOIN 186841w czytelniNie wypożyczaneB 


    Uwaga! (dotyczy tylko tytułów wydawców polskich)

    Jeśli w katalogu online:
    • nie ma poszukiwanego tytułu
    • wszystkie egzemplarze tego tytułu są aktualnie wypożyczone
    należy sprawdzić, czy poszukiwany tytuł jest dostępny w wersji elektronicznej na platformie ibuk.pl
    Horizon Information Portal 3.23.1_6655
     Powered by Dynix
    © 2001-2013 SirsiDynix All rights reserved.
    Horizon Information Portal