Jump to main content

yr 〜
yr

Search results 3

Strength or accuracy : credit assignment in learning classifier systems

Strength or accuracy : credit assignment in learning classifier systems
Paper図書
Tim KovacsSpringerc2004
Other Libraries in Japan
  • Related MaterialCPHC/BCS distinguished dissertation series
  • Periodical TitleCPHC/BCS distinguished dissertation series

Extensional constructs in intensional type theory hardback

Extensional constructs in intensional type theory hardback
Paper図書
Martin HofmannSpringerc1997
Other Libraries in Japan
  • Related MaterialCPHC/BCS distinguished dissertation series
  • Periodical TitleCPHC/BCS distinguished dissertation series

CPHC/BCS distinguished dissertation series

CPHC/BCS distinguished dissertation series
Paper図書
Springer
Other Libraries in Japan

Reached to the end of result.

RSS