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. Vanvitelli (2)

Formato

• Materiale a stampa (2)

Livello bibliografico

• Monografie (2)

Autore (Persona)

• Mauro, Jacopo (2)

Autore (Ente)

Autore (Convegno)

Opere

• Constraints meet concurrency (2)

Pubbl/distr/stampa

• Atlantis (2)

Lingua di pubblicazione

• Inglese (2)

Data

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

Data di pubblicazione

• 2014 (2)

Soggetto (Persona)

Soggetto (Ente)

Soggetto (Convegno)

Soggetto geografico

Soggetto topico

• 68N17 - Logic programming [MSC 2020] (2)
• 68Q85 - Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) [MSC 2020] (2)
• 68T20 - Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) [MSC 2020] (2)

Soggetto genere / forma