2 research outputs found
Tokio: Logic programming language based on temporal logic and its compilation to Prolog
- Author
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- Field of study
REFERENCES
- Author
- Abeles
- Abeles
- Abend
- Abrams
- Aebischer
- Albus
- Alonso
- AlvarezBuylla
- Amaral
- Amaral
- Amari
- Amari
- Amit
- Anderson
- Anderson
- Anderson
- Anderson
- Anderson
- Anderson
- Aquinas
- Aquinas
- Arnold
- Arnold
- Asanuma
- Ashby
- Atkinson
- Augustine
- Axelrad
- Babloyantz
- Backus
- Baddeley
- Bahl
- Ballard
- Barondes
- Barr
- Beckstead
- Bell
- Bell
- Ben-Ari
- Benati
- Bensaude-Vincent
- Berendse
- Bergson
- Bergson
- Bergson
- Bergson
- Bernstein
- Bertram
- Beth
- Bindman
- Biro
- Bisiani
- Bizzi
- Block
- Block
- Blumenthal
- Bobrow
- Bobrow
- Bourne
- Bouyer
- Bower
- Braak
- Braak
- Brachman
- Braitenberg
- Brindley
- Brooks
- Brooks
- Brooks
- Brooks
- Brooks
- Brown
- Brown
- Bruner
- Bruner
- Brunner
- Bullock
- Bundy
- Cajal
- Calvin
- Calvin
- Cambier
- Campbell
- Carey
- Carlow
- Carpenter
- Carpenter
- Cavanagh
- Changeux
- Changeux
- Charniak
- Charniak
- Cheney
- Cherniak
- Chevalier
- Chia-Sheng
- Chomsky
- Chomsky
- Clark
- Clark
- Clockskin
- Codd
- Codd
- Coelho
- Collins
- Colmerauer
- Colmerauer
- Colmerauer
- Colonnier
- Connor
- Connor
- Conway
- Cornford
- Cornford
- Cornford
- Cornford
- Cowan
- Crick
- Crick
- Crick
- Crick
- Crick
- Crosby
- Crossman
- Crunelli
- Crunelli
- Curry
- Curry
- D'Angelo
- Day
- de Callata每
- de Callata每
- de Callata每
- de Callata每
- de Callata每
- de Callata每
- de Callata每
- de Callata每
- de Duve
- Deliyanni
- Desmedt
- Dochin
- Dodge
- Douglas
- Dreyfus
- Dreyfus
- Eccles
- Eccles
- Eccles
- Eccles
- Eckhorn
- Eckhorn
- Edelman
- Edelman
- Edelman
- Edelman
- Edelman
- Edwards
- Elman
- Emmers
- Engel
- Engel
- Enoch
- Estes
- Estes
- Estes
- Evarts
- Fahlman
- Fahlman
- Feigenbaum
- Feldman
- Feldmann
- Feldmann
- Feller
- Finkel
- Foster
- Fraisse
- Fraisse
- Fraisse
- Freedman
- Freeman
- Freeman
- Freeman
- Freund
- Freund
- Fukushima
- Fukushima
- Fukushima
- Galaburda
- Gamble
- Gelernter
- Gellman
- Georgopoulos
- Gerfen
- Gillund
- Goddard
- Goddard
- Goldberg
- Goldman-Rakic
- Grant
- Gray
- Gray
- Gray
- Graybiel
- Griffin
- Groenewegen
- Groenewegen
- Groenewegen
- Guthrie
- Haken
- Hammond
- Hassler
- Hayes-Roth
- Hebb
- Heimer
- Hergenhahn
- Herkenham
- Herkenham
- Herkenham
- Herkenham
- Hewitt
- Hewitt
- Hilgard
- Hillis
- Hillis
- Hogan
- Hollerbach
- Holstege
- Hopfield
- Hosfstadter
- Humphrey
- Hunt
- Husserl
- Husserl
- Hyden
- Hyden
- Ivakhnenko
- Jacobs
- Jacobs
- Jasper
- Jeremy
- Jeremy
- John
- Johnson
- Johnson-Laird
- Jones
- Jones
- Jones
- Jones
- Jones
- Kamp
- Kandel
- Kandel
- Kanerva
- Kazmierczak
- Keeler
- Kilmer
- Kirkpatrick
- Kleist
- Klix
- Koch
- Koch
- Kohonen
- Kohonen
- Kohonen
- Kohonen
- Kohonen
- Kohonen
- Kolata
- Kornhuber
- Kornhuber
- Kowalski
- Kowalski
- Krettek
- Kr眉ger
- Kuhn
- Kully
- Kuperstein
- Laird
- Laird
- Lakoff
- Larson
- Le Moigne
- Lesser
- Lestienne
- Levy
- Libet
- Libet
- Lindsay
- Linsker
- Linsker
- Linton
- Lisberger
- Llinas
- Llinas
- Llinas
- Llinas
- Llinas
- Loftus
- Lorente de No
- Lorente de No
- Lucrece
- Luria
- Luria
- Luria
- Luria
- Luria
- Maillet
- Marin
- Marr
- Marr
- Marr
- Marshall
- McCarthy
- McCarthy
- McCarthy
- McCarthy
- McCarthy
- McCollum
- McCord
- McCord
- McCorduck
- McCormick
- McCormick
- McCormick
- McCulloch
- McCulloch
- McDermott
- McDermott
- McDermott
- McGeer
- McGuiness
- McLean
- McLennan
- McLennan
- McLennan
- McLennan
- Mead
- Melzack
- Merton
- Meyer
- Michie
- Miller
- Miller
- Milner
- Minsky
- Minsky
- Minsky
- Minsky
- Minsky
- Minsky
- Minsky
- Minsky
- Minsky
- Minsky
- Monod
- Montague
- Mountcastle
- Mowrer
- Nashner
- Nauta
- Nauta
- Nauta
- Neisser
- Neisser
- Newell
- Newell
- Newell
- Newell
- Newell
- Newell
- Newell
- Niewenhuys
- Niewenhuys
- Norman
- Northcote
- Noton
- Noton
- O'Shea
- Olds
- Organick
- Palm
- Palm
- Palm
- Palm
- Pandya
- Papert
- Parent
- Parent
- Par茅
- Pavlov
- Pellionisz
- Penfield
- Penfield
- Penfield
- Penny
- Penrose
- Penrose
- Pereira
- Perelman
- Perret
- Peter
- Peters
- Petri
- Petrides
- Piaget
- Piaget
- Piaget
- Piaget
- Piaget
- Piaget
- Piaget
- Piaget
- Piaget
- Piaget
- Piaget
- Piaget
- Piaget
- Piaget
- Piaget
- Piaget
- Poggio
- Polivka
- Popper
- Port
- Posner
- Pribram
- Pribram
- Prigogine
- Prigogine
- Pringle
- Pritchard
- Qian
- Quillian
- Quine
- Quine
- Quine
- Raaijmakers
- Ragsdale
- Raibert
- Rail
- Raven
- Ray
- Reecke
- Reecke
- Regehr
- Regehr
- Rich
- Riche
- Rieger
- Rinvik
- Robinson
- Robinson
- Robinson
- Rockland
- Rolls
- Rondot
- Rose
- Rose
- Rose
- Rosenblatt
- Rosenblatt
- Rosenbloom
- Rosie
- Rothwell
- Roy
- Royce
- Russell
- Ryckebusch
- Sarnat
- Sawaguchi
- Scalettar
- Schank
- Schank
- Schank
- Schank
- Schank
- Schank
- Scheibel
- Scheibel
- Schlag
- Schlag
- Schlag
- Schmitt
- Schneider
- Schubert
- Schwartz
- Schwartz
- Schwartz
- Scott
- Scott
- Searle
- Sejnowski
- Selfridge
- Selfridge
- Shaffer
- Shaffer
- Shannon
- Shannon
- Shepard
- Shepherd
- Shepherd
- Shepherd
- Shiffrin
- Silva
- Silvio
- Simon
- Simon
- Simon
- Simon
- Simon
- Skarda
- Smets
- Smolensky
- Smolensky
- Somogyi
- Sompolinsky
- Sorabji
- Sorensen
- Sowa
- Sowa
- Sperry
- Sperry
- Spinelli
- Standing
- Stanfill
- Steele
- Stein
- Steinbuch
- Steinbuch
- Stelzer
- Steriade
- Steriade
- Sternberg
- Steward
- Stewart
- Stoy
- Sugimoto
- Sussman
- Swanson
- Szentagothai
- Szentagothai
- Tadeo
- Tank
- Taylor
- Thibon
- Thompson
- Thomson
- Tigges
- Tinbergen
- Tombol
- Traub
- Treleaven
- Turing
- Turing
- Turner
- Uhr
- Underwood
- Ungar
- Vallee
- Van Emden
- Viviani
- Viviani
- Vogt
- von
- von
- von der Marlsburg
- Von Neumann
- Walsh
- Walter
- Warren
- Warren
- Wason
- Weimer
- Weiss
- Westenbroeck
- Whitehead
- Whiting
- Widrow
- William
- Williams
- Willshaw
- Willshaw
- Wilson
- Winograd
- Winograd
- Winograd
- Winston
- Winston
- Winston
- Witter
- Witter
- Wittgenstein
- Woods
- Woods
- Wooldridge
- Wundt
- Yamakawa
- Young
- Zadeh
- Zeki
- Zeki
- Publication venue
- 'Elsevier BV'
- Publication date
- 01/01/1992
- Field of study