Info

• Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

• Utilizzare questo link per rimuovere la selezione effettuata.

Export / Download (0)

• Esporta in PDF
• Esporta in Excel
• Esporta in HTML
• Esporta in MARC (binario)
• Esporta in MARC XML
• Esporta in MARC (testo)
• Invia tramite E-Mail

Biblioteca

• Univ. Federico II (1)
• Univ. di Salerno (1)

Formato

• Materiale a stampa (2)

Livello bibliografico

• Monografie (2)

Autore (Persona)

• LöhClara (2)

Autore (Ente)

Autore (Convegno)

Opere

• Exploring Formalisation (2)

Pubbl/distr/stampa

• Springer (2)

Lingua di pubblicazione

• Inglese (2)

Data

• Ultimi 2 anni (2)
• Ultimi 5 anni (2)
• Ultimi 10 anni (2)
• Ultimi 50 anni (2)

Data di pubblicazione

• 2022 (2)

Soggetto (Persona)

Soggetto (Ente)

Soggetto (Convegno)

Soggetto geografico

Soggetto topico

• Automatic theorem proving - Computer programs (2)
• Demostració automàtica de teoremes (2)
• Programes d'ordinador (2)

Soggetto genere / forma

• Llibres electrònics (2)