Skip to Main Content (Press Enter)

Logo UNIBS
  • ×
  • Home
  • Persone
  • Strutture
  • Competenze
  • Pubblicazioni
  • Professioni
  • Corsi
  • Insegnamenti
  • Terza Missione

Competenze & Professionalità
Logo UNIBS

|

Competenze & Professionalità

unibs.it
  • ×
  • Home
  • Persone
  • Strutture
  • Competenze
  • Pubblicazioni
  • Professioni
  • Corsi
  • Insegnamenti
  • Terza Missione
  1. Pubblicazioni

Verification of Numeric Planning Problems Through Domain Dynamic Consistency

Capitolo di libro
Data di Pubblicazione:
2023
Tipologia CRIS:
2.1 Contributo in volume (Capitolo o Saggio)
Elenco autori:
Scala, E.; Mccluskey, T. L.; Vallati, M.
Autori di Ateneo:
SCALA Enrico
Link alla scheda completa:
https://iris.unibs.it/handle/11379/574026
Titolo del libro:
LECTURE NOTES IN COMPUTER SCIENCE
Pubblicato in:
LECTURE NOTES IN COMPUTER SCIENCE
Journal
LECTURE NOTES IN COMPUTER SCIENCE
Series
  • Assistenza
  • Privacy
  • Utilizzo dei cookie
  • Note legali

Realizzato con VIVO | Designed by Cineca | 26.5.1.0