SciGator           

Esplora le biblioteche dell'Università di Pavia...           [en]

     

 inizio 

Scorri le sottoclassi ↓   o trova libri sullo    o in tutto il    o fra le materie collegate   [help]
 

 ↑ 511.3 ↓                logica matematica, computabilità           → 005.1   E.1    
 ↑ 511.32 ↓                     insiemi           ≈ E.2    
 ↑ 511.35 ↓                     ricorsività, automi cellulari, λ-calcolo               

 
Vedi anche:

 ↑ 261 ↓                     Logica, teoria degli insiemi, algebre, calcolo combinatorio    → 511.3 
 ↑ 005.1 ↓                     programmazione    → 511.3  519.7 
 ↑ E.1 ↓                     logica matematica, fondamenti della matematica    → :ZE.0  ≈ 511.3 MSC 03 tranne 03E, 03H
 ↑ E.2 ↓                     teoria degli insiemi      ≈ 511.32 MSC 03E
LC ↓                     Logica e computabilità      ≈ 511.3 

 


Le diverse icone permettono, in ciascuna riga, ricerche progressivamente più ampie:

Ricorda che più ampli la ricerca, rendendola più completa, più secondi occorrerà però attendere e più numerosi saranno i risultati da scorrere, compresi quelli irrilevanti... I risultati sono ordinati per anno di pubblicazione, dai più recenti ai più vecchi. Potrai filtrarli successivamente cliccando su nel catalogo pavese.

Questa interfaccia di ricerca è basata sulla Classificazione decimale Dewey secondo la quale sono collocati i libri in diverse biblioteche dell'Università di Pavia e sul relativo catalogo in rete (OPAC), come descritto in Gnoli et al. [2015], Gnoli et al. [2016], Pusterla et al. [2017], Lardera & Rolandi [2017] e Trzmielewski et al. [2017]. È ideata e sviluppata in PHP da Claudio Gnoli e colleghi; il logo è di Eleonora Quiroli.

 


SciGator / CG — <http://scigator.unipv.it/index.php> : 2017.02.14 - 2017.10.12 -
« <http://www-dimat.unipv.it/biblio/dewey.php> : 2014.12.18 - 2017.02.14