Kellerman Raynberg on Nostr: Planner: a language for proving theorems in robots ...
Planner: a language for proving theorems in robots
http://ijcai.org/Proceedings/69/Papers/030.pdf
#lisp
http://ijcai.org/Proceedings/69/Papers/030.pdf
#lisp
Kellerman Raynberg /
npub1fh0…xupu
2024-05-29 16:30:09
Author Public Key
npub1fh09hklr2l5mkczf6drnj4nzvrzm8qufc8mm7n5s8h26jc29t8cs25xupu