Skip to Content
Wiki Logo
  • Brevetti
  • Corsi
  • Eventi
  • Presentazioni
  • Prodotti
  • Progetti
  • Pubblicazioni
  • Riviste
  • Tesi
  • Tirocini
    • XWikiGuest
      SSO login

    • Home
    • Indice dei Documenti
    • Rubrica degli Utenti
    • Application Index

    • Global
    • Lingue
      • Lingua predefinita
    • What's New
    • Indice dei Wiki
  • English
  • Italiano
  • Log-in
  1. Pubblicazione
  2. Verifiable Multi-agent Programs

Verifiable Multi-agent Programs

   page       BibTeX_logo.png       attach   
Copertina Anteprima
copertina della pubblicazione
pub-cover.jpg

Pubblicazioni
ricerca • tutte
Verifiable Multi-agent Programs
— stato
pubblicato
— tipo
articolo in atti
chi
— autori
Rafael H. Bordini  •  Michael Fisher  •  Willem Visser  •  Michael J. Wooldridge
— curatori
Mehdi M. Dastani  •  Jürgen Dix  •  Amal El Fallah-Seghrouchni
dove e quando
— data di pubblicazione
2004
— volume
Programming Multi-agent Systems
— serie
Lecture Notes in Computer Science
— volume n.
3067
— pagine
72–89
— numero di pagine
18
— editore
Springer
URL
URL  •  URL PDF
— DOI
10.1007/978-3-540-25936-7_4
ISBN & ISSN
— ISBN
978-3-540-22180-7
file locali
copertina  •  anteprima
APICe
— evento origine
PROMAS 2003
— pubblicazione contenitore
Programming Multi-Agent Systems
note
— nota
1st International Workshop (PROMAS 2003), Melbourne, Australia, 15 July 2003. Selected Revised and Invited Papers
Partita IVA: 01131710376 — Copyright © 2008–2026 APICe@DISI – PRIVACY
XWiki 17.10.13